论文部分内容阅读
程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法，它使得程序的开发和证明同时进行，程序开发完成的同时其正确性亦得以保证。以两个问题的程序开发为例说明了程序的形式推导方法的使用。
一种基于程序正确性证明理论的程序开发方法
【摘 要】
：
程序的形式推导方法是一种基于程序正确性证明理论的程序开发方法，它使得程序的开发和证明同时进行，程序开发完成的同时其正确性亦得以保证。以两个问题的程序开发为例说明了程序的形式推导方法的使用。
【机 构】
：
江西师范大学计算机科学与技术学院
【出 处】
：
计算机应用研究
【发表日期】
：
2001年02期
【基金项目】
：
国家自然科学基金
其他文献
提出了一种适应于以掌上电脑为硬件平台的GIS数据存储数据结构设计技术 ,即基于矢量的栅格化存储结构 ,该数据结构适应于以掌上电脑为代表的小型嵌入式智能移动终端图形显示。