Enforcing Termination of Interprocedural Analysis
No abstract available.
Related papers
- Bit-Precise Procedure-Modular Termination Analysis TOPLAS 2018
- Enforcing Programming Guidelines with Region Types and Effects APLAS 2017
- Interprocedural Context-Unbounded Program Analysis Using Observation Sequences TOPLAS 2021
- Size-change termination as a contract: dynamically and statically enforcing termination for higher-order programs PLDI 2019
- SAFECode: enforcing alias analysis for weakly typed languages PLDI 2006
- Summarizing procedures in concurrent programs POPL 2004
- Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs TOPLAS 2021
- Interprocedural Control Flow Analysis ESOP 1999