Program Designing & Algorithmic Language 程序设计及算法语言 ; 程序设计及算
Algorithmic program transformation 算法程序变换
algorithmic program of MATLAB MATLAB算法程序
developing method of algorithmic program 算法程序开发方法
algorithmic language program conversion 算法语言程序转换
algorithmic language program [计] 算法语言程序
Program Designing & Algorithmic 程序设计及算法语言
program designing &algorithmic language 程序设计及算法语言
It’s a prevalent trendency to automatically verify the correctness of algorithmic program by means of theorem prover.
使用定理证明工具对算法程序进行机械证明是一种发展趋势。
参考来源 - Isabelle定理证明器的剖析及其在PAR方法/PAR平台中的应用·2,447,543篇论文数据，部分数据来源于NoteExpress
The loop invariant embodies essential characteristics of loop program and has an important role to play in design, proof and derivation of algorithmic program.
循环不变式体现了循环程序的本质特征，在算法程序的开发、证明和推导中具有十分重要的作用。
Data refinement is hard to deal with in a refinement tool compared with ordinary algorithmic refinement, since data refinement usually has to be done on a large program component at once.
由于数据精化需要针对更大的程序块，所以，它比一般的算法精化更加复杂。
应用推荐