Towards the Global Optimization of Functional Logic Programs
No abstract available.
DOI 10.1007/3-540-57877-3_5
Related papers
- The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering POPL 1993
- A Unified Approach to Global Program Optimization POPL 1973
- Optimized Algorithms for Incremental Analysis of Logic Programs SAS 1996
- Global Analysis of Constraint Logic Programs TOPLAS 1996
- Logic of global synchrony TOPLAS 2004
- goSLP: globally optimized superword level parallelism framework OOPSLA 2018
- Regional Logic for Local Reasoning about Global Invariants ECOOP 2008
- Analyzing Logic Programs with Dynamic Scheduling POPL 1994