A New Foundation for Control-Dependence and Slicing for Modern Program Structures
Abstract elided by the publisher.
Related papers
- A new foundation for control dependence and slicing for modern program structures TOPLAS 2007
- Verified Validation of Program Slicing CPP 2015
- Static Backward Slicing of Non-deterministic Programs and Systems TOPLAS 2018
- Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs TOPLAS 2021
- Linked visualisations via Galois dependencies POPL 2022
- A Theory of Slicing for Imperative Probabilistic Programs TOPLAS 2020
- Slicing of Probabilistic Programs Based on Specifications (Extended Abstract) ECOOP 2022
- SSA without Dominance for Higher-Order Programs PLDI 2026