A Structural Soundness Proof for Shivers's Escape Technique - A Case for Galois Connections
No abstract available.
DOI 10.1007/978-3-642-33125-1_24
Related papers
- Constructive Galois Connections JFP 2019
- Transport via Partial Galois Connections and Equivalences APLAS 2023
- Galois transformers and modular abstract interpreters: reusable metatheory for program analysis OOPSLA 2015
- Constructive Galois connections: taming the Galois connection framework for mechanized metatheory ICFP 2016
- Linked visualisations via Galois dependencies POPL 2022
- Foundations of dependent interoperability JFP 2018
- On Constructivity of Galois Connections VMCAI 2018
- Domain Precision in Galois Connection-Less Abstract Interpretation SAS 2023