Abstract Semantic Differencing for Numerical Programs

Abstract Semantic Differencing for Numerical Programs
复制标题

数值程序的抽象语义区分

DOI：
10.1007/978-3-642-38856-9_14
复制
发表时间：
2013
期刊：
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language Design and Implementation
影响因子：
--
通讯作者：
Eran Yahav
Eran Yahav
中科院分区：
--
文献类型：
--
作者：
Nimrod Partush;Eran Yahav

文献摘要

被引文献

相似文献

我们解决了计算程序和程序的修补版本之间的语义差异的问题。我们的目标是获得程序版本之间差异的精确表征，或者在不存在差异时建立它们的等价性。
We address the problem of computing semantic differences between a program and a patched version of the program. Our goal is to obtain a precise characterization of the difference between program versions, or establish their equivalence when no difference exists.