Practical theory of programming
作者: (加)Eric C. R. Hehner著;万剑怡,郑宇华译
出版社:科学出版社,2010
简介:本书的主题为“程序设计方法学”,或称为“程序设计科学”,“程序设计逻辑”,“程序设计理论”,“程序开发形式化方法”,或“程序证明”,它涉及程序设计中经得起数学证明的那些方面。一个好的理论能帮助我们书写精确的规范,并设计出其执行可被证明满足规范的程序。本书介绍作者多年研究出的一套简单并且通用的程序设计理论,它可同时适用于终止和非终止计算,顺序和并行计算,以及独立和交互式计算,该理论的基础在于将规范表示成布尔表达式,而布尔表达式的变量可以是任何感兴趣的变量,包括只对其初值和终值感兴趣的变量、对其值始终感兴趣的变量、只知道其可能值的变量和用于计算时间和空间的变量等,其中还将考虑计算的状态、计算的时间、计算的空间以及计算的交互等。