The Semantic Approach to Program Slicing
Abstract
Program slicing is a source-to-source transformation
Related papers
- Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing SAS 1998
- Slicing as a program transformation TOPLAS 2007
- Semantic Correctness of Dependence-based Slicing for Interprocedural, Possibly Nonterminating Programs TOPLAS 2021
- A Theory of Slicing for Imperative Probabilistic Programs TOPLAS 2020
- Verified Validation of Program Slicing CPP 2015
- Parametric Program Slicing POPL 1995
- Static Backward Slicing of Non-deterministic Programs and Systems TOPLAS 2018
- Slicing Class Hierarchies in C++ OOPSLA 1996