摘要
本文重点论述形式推导这类算法所需要的概念、方法和数据表示形式,其次是算法的卫式命令实现及算法本身的特性。
We put emphasis on the notions,methods and notations needed in deriving those algorithms, while the implementation and property of the algorithm are secondary.
出处
《江西师范大学学报（自然科学版）》
CAS
1991年第1期32-38,共7页
Journal of Jiangxi Normal University(Natural Science Edition)
基金
国家自然科学基金NO8973040
江西省研究基金
关键词
程序设计
方法学
算法设计
methodology of programming
design of algorithm
formal derivation of program
