Denotational Semantics for Abadi and Leino's Logic of Objects
No abstract available.
Related papers
- A Logical Denotational Semantics for Constraint Logic Programming ESOP 1994
- HALO: haskell to logic through denotational semantics POPL 2013
- Compilation and Equivalence of Imperative Objects JFP 1999
- Temporal Logic Programming is Complete and Expressive POPL 1989
- A Denotational Semantics of Inheritance and its Correctness OOPSLA 1989
- Abstract effects and proof-relevant logical relations POPL 2014
- Modular Denotational Semantics for Effects with Guarded Interaction Trees POPL 2024
- Denotational Abstract Interpretation of Logic Programs TOPLAS 1994