This paper presents the details of generating higher-level intermediate representation from IA-64 assembly language by means of semantic specification in decompiling.

• 本文介绍了在反编译过程中通过语义描述由IA-64汇编代码生成更高级的中间表示的实现技术。