摘要：出具证明编译器在软件安全研究得到越来越多的关注,是程序验证研究的一个重要方向.但目前关于出具证明编译器的研究主要是在程序逻辑设计和定理自动化证明方面,很少关注编译优化对规范的影响.而编译优化是决定出具证明编译器是否能走向应用的关键因素之一.通过研究数据流优化的基本行为,提出利用数据流分析结果来变换规范的方法,以使原规范的约束准确而充分地施加于优化后的代码,并实现了一个包含多种优化和相应规范转换的编译器原型系统,展示了方法的可行性.

摘要：结合单片机的结构和产品设计经验，介绍几种代码优化的方法。特别是ＯＯＴ技术和用ＲＡＭ构造间接寻址方式，省下可观的代码空间，为产品增加许多功能，大大地提高产品的竞争力。

摘要：文章结合单片机的结构和产品设计经验，介绍了几种代码优化的方法。特别是ＯＯＴ技术和用ＲＡＭ构造间接寻址方式，省下可观的代码空间，为产品增加功能，提高产品的竞争力。

摘要：本文简单介绍了嵌入式实时程序设计的特点和嵌入式系统设计中语言的选择．着重介绍了以下几种在嵌入式实时程序设计中优化C／C++代码的方法。

摘要：从嵌入式系统的特点出发 ,阐述了嵌入式系统编程语言的选择以及代码优化的方法。首先分析了嵌入式系统特点和嵌入式系统编程的要求 ,以及嵌入式实时程序设计中语言的选择。接着结合嵌入式软件开发的实践 ,阐述了嵌入式软件开发中代码优化的方法。最后作出总结 。

摘要：针对嵌入式系统的特点,介绍了几种在嵌入式系统程序设计中优化C语言代码的方法,从而提高系统的性能。

摘要：随着CSS的广泛应用,网站设计者对CSS的依赖度越来越大,致使CSS代码的体积不断膨胀,产生了许多冗余的样式表文件,给网站后期的代码维护与更新造成许多麻烦。对此,网站设计者可以利用CSS的继承性、重用性、层叠性等特性,对代码进行优化,最终加以解决。

摘要：从嵌入式系统程序代码优化的必要性出发,介绍了几种在嵌入式系统程序设计中优化C/C++代码的方法。

摘要：代码优化是程序设计中的重要环节,在算法一定的前提下,优化的代码要比没有经过优化的代码执行效率更高,特别是在对大量数据操作的时候。本文就如何编写高质量的c++代码进行简单的介绍。

摘要：C语言是嵌入式系统开发中常用的一种程序设计语言.本文结合嵌入式系统的特点,从变量定义、算法优化和存储器分配三个方面,阐述了C语言在嵌入式软件开发中的代码优化方法。