Optimizing Compilation of Concurrent Logic Programs Directed by Interface Analysis
No abstract available.
Related papers
- The 3 R's of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering POPL 1993
- H/Direct: A Binary Foreign Language Interface for Haskell ICFP 1998
- DART: directed automated random testing PLDI 2005
- Query-directed adaptive heap cloning for optimizing compilers CGO 2013
- Simuliris: a separation logic framework for verifying concurrent program optimizations POPL 2022
- A relational model of types-and-effects in higher-order concurrent separation logic POPL 2017
- Fully Composable and Adequate Verified Compilation with Direct Refinements between Open Modules POPL 2024
- Logical Composition of Object-Oriented Interfaces OOPSLA 1987