机构名称：
¥ 1.0
看到程序语义的一种方式是程序等效的科学。为程序提供语义的每种方式都隐含地标识了哪些程序等效。同样，程序等效性的概念也可以看作是将含义归因于程序的一种方式（即程序所属的等价类别）。这种观点使语义成为程序转换和程序验证的有力思想和技术的强大来源，并具有显着的优势，即可以以组成和模块化方式定义此类技术。但是，在某些情况下，计划纯粹的染色性的程序之间的等价不足以提供信息：两个程序是否等效，期间。不能从两个略有不同的程序中提取进一步的定量或因果信息，尽管不是等效。此外，由于程序等价通常是一致的，因此在任何情况下都保留了仅在特殊情况下有所不同的程序也只是不等式的。由于这些原因，必须在所有（非常常见的）情况下寻找替代程序等效性的方法，这些情况涉及转换，而转换将程序替换为仅相当于的程序[31]，或者当规范不精确或不准确地满足时（例如，在现代密码学[27]中，大多数安全属性在近似意义上具有，即模仿可忽略不计的概率）。
定量代数高阶理论
主要关键词
相关文件推荐
