An Approach to Dynamic Program Slicing Based on Modular Monadic Semantics

• 一种基于模块单子语义的动态程序切片方法