Reasoning about Computations Using Two-Levels of Logic
No abstract available.
Related papers
- Mostly-automated verification of low-level programs in computational separation logic PLDI 2011
- A two-level logic perspective on (simultaneous) substitutions CPP 2018
- RapunSL: Untangling Quantum Computing with Separation, Linear Combination and Mixing POPL 2026
- An effective theory of type refinements ICFP 2003
- Logic in Computer Science: Modelling and Reasoning About Systems by Michael Huth and Mark Ryan, second edition. ISBN 0 521 54310 X JFP 2008
- SAQR-QC: A Logic for Scalable but Approximate Quantitative Reasoning about Quantum Circuits PLDI 2026
- Ownership, encapsulation and the disjointness of type and effect OOPSLA 2002
- Concurrent Abstract Predicates ECOOP 2010