机译:程序切片的非标准语义
Dipartimento di Informatica, Universita di Verona, Strada Le Grazie 15, 37134 Verona, Italy;
abstract interpretation; semantics; reduced power; compositional semantics; transfinite semantics; program manipulation; program slicing;
机译:用于程序切片和依赖关系分析的非标准语义
机译:从形式语义上进行切片:Chisel-通用程序切片的工具
机译:基于依赖性的基于依赖性的切片的语义正确性,可能是非误解计划
机译:抽象程序切片的语义
机译:非标准协调的语义和语法
机译:推进图像注释的语义互操作性:将商业PAC中的非标准图像注释的自动转换为注释和图像标记
机译:用于程序切片和依赖关系分析的非标准语义
机译:最终语义的基础:非标准集,度量空间,部分订单