An Approach to Dynamic Program Slicing Based on Modular Monadic Semantics
Ying Zhang, Xu Dong Bao · Chinese Journal of Computers · 2006
This paper presents a new dynamic slicing method,the modular monadic approach,which is based on modular monadic semantics.With the use of monad transformers,each representing a single notion of computation,the computation of program slicing can be abstracted as an entity that is independent of the language being analyzed,dynamic-slice monad transformer.Its definition and correctness proofs are provided in this paper.This paper also gives and illustrates dynamic slicing algorithm based on modular monadic semantics.The algorithm allows dynamic slices to be computed directly on abstract syntax,without recording an execution history or explicitly constructing intermediate structures,such as dependence graphs,in the corresponding monadic slicers.It is showed to be an appropriate approach to program slicing with excellent flexibility and modularity properties.