A Modular, Extensible Proof Method for Small-Step Flow Analyses
No abstract available.
Related papers
- Dynamic class initialization semantics: a jinja extension CPP 2019
- A machine-checked model for a Java-like language, virtual machine, and compiler TOPLAS 2006
- Set constraints for destructive array update optimization JFP 2001
- A Modular Approach to Metatheoretic Reasoning for Extensible Languages TOPLAS 2025
- Systematic Realisation of Control Flow Analyses for CML ICFP 1997
- Big-Stop Semantics: Small-Step Semantics in a Big-Step Judgment POPL 2026
- Trace-based control-flow analysis PLDI 2021
- A Modular Soundness Theory for the Blackboard Analysis Architecture ESOP 2024