Denotational Abstract Interpretation of Functional Logic Programs
Abstract elided by the publisher.
Related papers
- Stable relations and abstract interpretation of higher-order programs ICFP 2020
- Denotational Abstract Interpretation of Logic Programs TOPLAS 1994
- A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables TOPLAS 1991
- Strictness Analysis and Denotational Abstract Interpretation POPL 1987
- Static Inference of Properties of Applicative Programs POPL 1984
- Semantic Parallelization: A Practical Exercise in Abstract Interpretation POPL 1987
- Why the Constant 'Undefined'? Logics of Partial Terms for Strict and Non-Strict Functional Programming Languages JFP 1998
- Modular Denotational Semantics for Effects with Guarded Interaction Trees POPL 2024