Approximating the Algebraic Relational Semantics of Imperative Programs
No abstract available.
Related papers
- Translating canonical SQL to imperative code in Coq OOPSLA 2022
- An Algebraic Semantics of Subobjects OOPSLA 1995
- Handle with care: relational interpretation of algebraic effects and handlers POPL 2018
- Calculational Design of Hyperlogics by Abstract Interpretation POPL 2025
- Modular Reasoning About Object Relations CAV 2026
- Toward a Complete Transformational Toolkit for Compilers TOPLAS 1997
- A Coq mechanised formal semantics for realistic SQL queries: formally reconciling SQL and bag relational algebra CPP 2019
- Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring TACAS 2021