语义等价性 semantic equivalence
Semantic equivalence of program is theoretical foundation of program equivalence transformation technology. Semantic equivalence of program contains execution semantic equivalence, structure semantic equivalence and similar structure semantic equivalence.
程序的等价转换技术是以程序语义等价性为理论基础,程序语义的等价性包括执行语义等价、结构语义等价和似结构语义等价。
参考来源 - 面向对象程序等价转换技术的研究与应用·2,447,543篇论文数据,部分数据来源于NoteExpress
应用推荐