程序优化是指改进程序，使之节省存储空间，提高执行效率，这个过程称为优化。优化的目标是从执行的结果程序中消除重复计算。程序优化的基础：控制分析，数据流分析。程序优化可以分类为局部或全局的，依赖于机器或不依赖于机器的，依赖于语言或不依赖于语言的。全局程序优化理论是指编译阶段对整个程序执行语句和数据流指令进行优化的方法，最终生成的程序代码短，时空效率优化。全局程序优化理论是指用于提高程序执行效率和降低程序执行代价的有关理论，包括程序编译阶段，对程序的语义语法优化和中间代码的优化。程序设计阶段中，程序模块的设计和有关函数库的选择，程序的有关语句和循环结构选择，即代码优化，代码优化是指对程序代码进行等价变换。等价的含义是使得变换后的代码运行结果与变换前代码运行结果相同。全局程序优化理论主要目的是提高软件性能。软件性能是软件的一种非功能特性，它关注的不是软件是否能够完成特定的功能，而是在完成该功能时展示出来的及时性，是指一个软件系统正确提供其服务的能力和效率，是软件对用户请求响应速度在响应时间、 吞吐量、资源利用率和可用性等方面的度量。