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.
首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的实体:切片单子转换器。
CopyRight © 2020-2024 优校网[www.youxiaow.com]版权所有 All Rights Reserved. ICP备案号:浙ICP备2024058711号