A Logical Denotational Semantics for Constraint Logic Programming
Abstract elided by the publisher.
Related papers
- A Fully Abstract Semantics for a First-Order Functional Language with Logic Variables TOPLAS 1991
- Proving Concurrent Constraint Programs Correct TOPLAS 1997
- Proving Concurrent Constraint Programs Correct POPL 1994
- Program Verification Based on Denotational Semantics POPL 1981
- Denotational Semantics for Abadi and Leino's Logic of Objects ESOP 2005
- Bayesian Separation Logic: A Logical Foundation and Axiomatic Semantics for Probabilistic Programming POPL 2026
- Focusing on Refinement Typing TOPLAS 2023
- HALO: haskell to logic through denotational semantics POPL 2013