ELIOS-OBJ Theorem Proving in a Specification Language
Abstract elided by the publisher.
Related papers
- Unified Algebras and Modules POPL 1989
- Precision-preserving yet fast object-sensitive pointer analysis with partial context sensitivity OOPSLA 2019
- BliStrTune: hierarchical invention of theorem proving strategies CPP 2017
- A Container-Usage-Pattern-Based Context Debloating Approach for Object-Sensitive Pointer Analysis OOPSLA 2023
- Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting SAS 2016
- Theorems for free from separation logic specifications ICFP 2021
- Lang-n-Prove: A DSL for Language Proofs SLE 2022
- A reflective functional language for hardware design and theorem proving JFP 2006