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.
首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的实体:切片单子转换器。