机译:用于程序切片和依赖关系分析的非标准语义
Department of Mathematical and Computing Sciences, Goldsmiths College, University of London, New Cross, London SE14 6NW, United Kingdom;
program slicing; non-standard semantics;
机译:程序切片的非标准语义
机译:基于依赖性的基于依赖性的切片的语义正确性,可能是非误解计划
机译:使用动态数据依赖分析的Java程序切片方法
机译:依赖项缓存切片:使用轻量级动态信息的程序切片方法
机译:程序不一致检测:通用可达性分析和条件切片。
机译:对化学依赖项目中精神药物滥用对处方药的依从性和禁欲的系统评估:来自报告药物的综合分析数据
机译:用于程序切片和依赖关系分析的非标准语义
机译:现代程序结构控制依赖与切片的新基础