OESPA : 面向语义的编程理论

书籍简介:

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

书籍规格:

书籍信息归属:

OESPA : 面向语义的编程理论是科学出版社于2018.12出版的中图分类号为 TP18 的主题关于 语义网络－网络编程－英文 的书籍。