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

• An Approach to Dynamic Program Slicing Based on Modular Monadic Semantics