大家都搜：
程序简化
1、gifted program───天才计划
2、doctoral program───博士生项目
3、elaborative simplification───精心简化
4、compiled program───编成程序
5、exercise program───训练方案；锻炼计划
6、internship program───实习计划；实习项目
7、headstart program───headstart程序
8、program error───[计]程序错误；程序误差
9、processing program───n.[计]处理程序；[计] 处理程序
1、The article USES the proving of deduction theorem to give general program of construction theorem proving, and adding a piece of simplification command. The program is gotten strict and exercisable.───本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序，并增加了一条简化命令，使该程序既严格又具有实际可Cao作性。
2、program slicing technique is a kind of technique used to analyse and understand a program, which possesses the characteristics of problem simplification and target localization.───程序切片技术是一种分析和理解程序的技术，具有可以简化问题，缩小目标范围的特点，在软件维护、程序调试、测试、代码理解等诸多领域有着广泛的应用。
3、The program is parallelized not by hierarchical simplification, but by only one pass sequential scanning.───程序并行化不需要分层简化，只要顺序扫描一遍即可。