机读格式显示(MARC)

• 000 01215nam 2200277 450

• 001 0000192310

• 005 20130516155100.0

• 010 __ |a 978-7-03-036420-3 |d CNY60.00

• 100 __ |a 20130314d2013 em y0chiy0120 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a ak a 000yy

• 106 __ |a r

• 200 1_ |a 可信编译构造理论与关键技术 |A Ke Xin Bian Yi Gou Zao Li Lun Yu Guan Jian Ji Shu |f 何炎祥, 吴伟著

• 210 __ |a 北京 |c 科学出版社 |d 2013

• 215 __ |a 228页 |c 图 |d 24cm

• 225 2_ |a 信息科学技术学术著作丛书 |A Xin Xi Ke Xue Ji Shu Xue Shu Zhu Zuo Cong Shu

• 320 __ |a 有书目

• 330 __ |a 本书详细介绍了可信编构器造译理论及其关键技术。对可信编译的概念和特征进行了准确定义和描述，总结归纳了各种不同的可信编译器构造方法。针对保证编译对象可信性，介绍了三种不同性质的实现机制。结合具体应用和实践，对可信编译器在可信嵌入式优化、软件测试和绿色编译中的应用进行了研究和探讨。介绍了基于可信编译的构造理论和方法，并对可信编译研究领域面临的挑战和未来发展趋势进行了总结和展望。

• 410 _0 |1 2001 |a 信息科学技术学术著作丛书

• 606 0_ |a 编译器 |A Bian Yi Qi |x 研究

• 690 __ |a TP314 |v 5

• 701 _0 |a 何炎祥 |A He Yan Xiang |4 著

• 701 _0 |a 吴伟 |A Wu Wei |4 著

• 801 _0 |a CN |b 江苏新华 |c 20130314

• 905 __ |a WXCSXY |d TP314/25