This paper presents the details of generating higher-level intermediate representation from IA-64 assembly language by means of semanticspecification in decompiling.
介绍了在反编译过程中通过语义描述由IA-64汇编代码生成更高级的中间表示的实现技术。
2
The semantic of this specification is that a copy of the referenced object should be created, and assigned another name.
该规范的语义是应当创建已引用对象的一个副本，并指定另一个名称。
3
If the mediation contributes to the semantic characteristics in a service specification, it would become a provider.