OESPA：面向语义的编程理论（英文版 OESPA： Semantic Oriented Theory of Programming）

定　价：¥120.00

作　者：	袁崇义
出版社：	科学出版社
丛编项：
标　签：	暂缺

购买这本书可以去

当当网 (¥111.60)

ISBN：	9787030600936	出版时间：	2019-08-01	包装：	平装-胶订
开本：	16开	页数：		字数：

内容简介

　　传统的软件理论研究是形式语法和形式语义分离，语义研究成果没有实用性，测试一直是软件开发的必要步骤。本书是统一研究语法与语义的成果，包括程序模型（OE），语义公理（A），语义谓词（SP），语义谓词演算，是一套全新的完整的实用的程序理论。实例证明用OESPA可以用于程序开发各步骤，程序验证及程序验证自动化（符号演算）。测试不再是必要的。为开发相应的验证工具奠定了基础。