A Tool to Support Formal Reasoning about Computer Languages
No abstract available.
Related papers
- Reasoning About Naming Systems TOPLAS 1993
- Reasoning about Java Classes (Preliminary Report) OOPSLA 1998
- Reasoning about the garden of forking paths ICFP 2021
- Twist: sound reasoning for purity and entanglement in Quantum programs POPL 2022
- Probabilistic Relational Reasoning for Differential Privacy TOPLAS 2013
- Formal reasoning about layered monadic interpreters ICFP 2022
- Probabilistic Access Policies with Automated Reasoning Support CAV 2024
- Ownership, encapsulation and the disjointness of type and effect OOPSLA 2002