program simplification信息详情
程序简化
elaborative simplification───精心简化
gifted program───天才计划
internship program───实习计划;实习项目
headstart program───headstart程序
doctoral program───博士生项目
exercise program───训练方案;锻炼计划
processing program───n.[计]处理程序;[计] 处理程序
compiled program───编成程序
program error───[计]程序错误;程序误差
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.───本文利用演绎定理的证明思路给出了一个由演绎证明构造公理证明的一般程序,并增加了一条简化命令,使该程序既严格又具有实际可操作性。
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.───程序切片技术是一种分析和理解程序的技术,具有可以简化问题,缩小目标范围的特点,在软件维护、程序调试、测试、代码理解等诸多领域有着广泛的应用。
The program is parallelized not by hierarchical simplification, but by only one pass sequential scanning.───程序并行化不需要分层简化,只要顺序扫描一遍即可。
- paragon group
- rosy latte
- my ground
- play adam daniel
- my growing life at home
- semidetached houses
- shop girl
- quench oil bath
- paragon hard disk manager
- paragon high school
- quench magazine
- program simulator
- program size
- say go
- personal touch
- montana yao
- shop hero
- quench oil test
- paragon ntfs for mac
- on my party
- play adjustment