基于H-等价的算法识别技术研究

计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (3): 74-74.

基于H-等价的算法识别技术研究

朱杰尹青蒋烈辉

解放军信息工程大学信息工程学院解放军信息工程大学解放军信息工程大学信息工程学院计算机科学与技术系计算机应用教研室

收稿日期:2006-05-12 修回日期:1900-01-01 出版日期:2007-01-21 发布日期:2007-01-21
通讯作者: 朱杰

Research on Algorithm Recognition Based upon Herbrand Equivalence

Zhu Jie LieHui Jiang

Received:2006-05-12 Revised:1900-01-01 Online:2007-01-21 Published:2007-01-21
Contact: Zhu Jie

摘要/Abstract

摘要： 蕴涵在程序代码中的语义是程序语言词法和语法的抽象表达，构成了人脑思维与机器思维交互过程的中间变换。从指称语义出发，结合具体语言，用形式化的方法讨论了语义等价和H-等价（Herbrand等价）。H-等价的判定条件相对来说更容易得到满足，具有更广泛的可用性。结合具体算法给出了H-等价在算法识别方面的应用成果及其局限性。

关键词: 程序理解, 算法识别, 语义等价, 计算项, H－等价

Abstract: The semantic concept of the program is the syntax and accidence of the abstract expressed，but semantic concept in the software constituted the human thought hands over with machine thought with each other the middle transformation of the process. This paper present the meaning of semantic equivalence and Herbrand equivalence based upon denotational sematics with concrete programming language.Herbrand equivalence is weaker than Semantic equivalence, it has much wider utility. Several applications of simple algorithms were presented, through which we see clearly the advantages and limitations of Herbrand equivalence .

Key words: Program Understanding, Algorithm Recognition, Semantic Equivalence, Term Computed, Herbrand Equivalence

朱杰尹青蒋烈辉. 基于H-等价的算法识别技术研究[J]. 计算机工程与应用, 2007, 43(3): 74-74.

Zhu Jie LieHui Jiang. Research on Algorithm Recognition Based upon Herbrand Equivalence[J]. Computer Engineering and Applications, 2007, 43(3): 74-74.

[1]	司海平1，乔红波1，虎晓红1，陈宝钢1，曹永生2. 基于用况图的程序理解方法研究[J]. 计算机工程与应用, 2013, 49(14): 51-55.
[2]	唐和平，黄曙光，吴志勇. 数据流分析的二进制程序理解方法[J]. 计算机工程与应用, 2010, 46(23): 64-66.