MARC状态：审校 文献类型：中文图书 浏览次数：12
- 题名/责任者:
- 可信编译构造理论与关键技术/何炎祥, 吴伟著
- 出版发行项:
- 北京:科学出版社,2013
- ISBN及定价:
- 978-7-03-036420-3/CNY60.00
- 载体形态项:
- 228页:图;24cm
- 丛编项:
- 信息科学技术学术著作丛书
- 个人责任者:
- 何炎祥 著
- 个人责任者:
- 吴伟 著
- 学科主题:
- 编译器-研究
- 中图法分类号:
- TP314
- 书目附注:
- 有书目
- 提要文摘附注:
- 本书详细介绍了可信编构器造译理论及其关键技术。对可信编译的概念和特征进行了准确定义和描述，总结归纳了各种不同的可信编译器构造方法。针对保证编译对象可信性，介绍了三种不同性质的实现机制。结合具体应用和实践，对可信编译器在可信嵌入式优化、软件测试和绿色编译中的应用进行了研究和探讨。介绍了基于可信编译的构造理论和方法，并对可信编译研究领域面临的挑战和未来发展趋势进行了总结和展望。
全部MARC细节信息>>