Parametric and Termination-Sensitive Control Dependence
No abstract available.
Related papers
- Fast Computation of Strong Control Dependencies CAV 2021
- On-The-Fly Algorithm for Reachability in Parametric Timed Games TACAS 2024
- Proving expected sensitivity of probabilistic programs with randomized variable-dependent termination time POPL 2020
- Addressing covert termination and timing channels in concurrent information flow systems ICFP 2012
- Static Backward Slicing of Non-deterministic Programs and Systems TOPLAS 2018
- Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs TOPLAS 2021
- On Time-sensitive Control Dependencies TOPLAS 2022
- Sensitivity by Parametricity OOPSLA 2024