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.
首先通过单子转换器,将切片这一类计算抽象成独立于具体语言的实体:切片单子转换器。
本网站所收集内容来自网友分享仅供参考，实际请以各学校实际公布信息为主！内容侵权及错误投诉：1553292129@qq.com
CopyRight © 2020-2024 优校网[www.youxiaow.com]版权所有 All Rights Reserved. ICP备案号：浙ICP备2024058711号