Simple and Efficient Computation of Minimal Weak Control Closure
Abstract elided by the publisher.
Related papers
- Fast and Incremental Computation of Weak Control Closure SAS 2022
- On the computation of interprocedural weak control closure CC 2022
- Static Backward Slicing of Non-deterministic Programs and Systems TOPLAS 2018
- Generalized Dominance and Control Dependence PLDI 1996
- Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs TOPLAS 2021
- Abstracting abstract control DLS 2014
- Efficient and safe-for-space closure conversion TOPLAS 2000
- Closurize and Concentrate POPL 1985