可信编译构造理论与关键技术

编译器是重要的系统软件，除了编译功能，在许多领域都有应用，如绿色计算、嵌入式系统优化、代码分析与验证、可信计算、软件测试等。编译器是否可信直接影响着整个计算机系统的可信性，因此编译器的可信性一直受到人们的广泛关注和深切重视。《可信编译构造理论与关键技术》全面系统地介绍了可信编译理论及其关键技术，从保证编译器自身可信性和编译对象可信性两个方面进行了详细阐述。同时，本书还介绍了可信编译在嵌入式软件优化、绿色编译、软件测试以及可信软件开发过程中的应用与实践。 何炎祥等专著的《可信编译构造理论与关键技术》许多内容是作者近年来在该领域的最新研究成果，具有较强的原创性。本书取材新颖、内容丰富、概念准确、层次清晰、叙述严谨、图文并茂、系统性强，可作为高等院校和科研院所计算机科学与技术、软件工程、计算机应用技术等相关专业的高年级本科生或研究生的参考书，也可供可信软件及相关领域的研究人员借鉴、学习和参考。