Summaries for While Programs with Recursion
No abstract available.
DOI 10.1007/978-3-540-31987-0_8
Related papers
- Stencil-Lifting: Hierarchical Recursive Lifting System for Extracting Summary of Stencil Kernel in Legacy Codes OOPSLA 2025
- Calling context abstraction with shapes POPL 2011
- Summarizing procedures in concurrent programs POPL 2004
- Practical memory leak detector based on parameterized procedural summaries ISMM 2008
- Abstract Interpretation of Temporal Safety Effects of Higher Order Programs OOPSLA 2025
- A relational approach to interprocedural shape analysis TOPLAS 2010
- Control Flow Aspects of Semantics Directed Compiling (Summary) PLDI 1982
- Automating Unrealizability Logic: Hoare-Style Proof Synthesis for Infinite Sets of Programs OOPSLA 2024