Precise Slicing in Imperative Programs via Term-Rewriting and Abstract Interpretation
No abstract available.
Related papers
- Parametric Program Slicing POPL 1995
- A Fast and Precise Static Loop Analysis Based on Abstract Interpretation, Program Slicing and Polytope Models CGO 2009
- An improved algorithm for slicing machine code OOPSLA 2016
- Regular language type inference with term rewriting ICFP 2020
- Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution ESOP 1986
- An Interpretation of Objects and Object Types POPL 1996
- Toward a Complete Transformational Toolkit for Compilers TOPLAS 1997
- Higher-Order LCTRSs and Their Termination ESOP 2024