Useless Code Elimination and Programm Slicing for the Pi-Calculus
No abstract available.
Related papers
- Automatic useless-code elimination for HOT functional programs JFP 2000
- Constraint Systems for Useless Variable Elimination POPL 1999
- Partial Dead Code Elimination using Slicing Transformations PLDI 1997
- The Revival Transformation POPL 1994
- Generating Well-Typed Terms That Are Not "Useless" POPL 2024
- Slicing Class Hierarchies in C++ OOPSLA 1996
- Pruning dynamic slices with confidence PLDI 2006
- Enforcing Trace Properties by Program Transformation POPL 2000