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

暂缺《OESPA：面向语义的编程理论（英文版 OESPA： Semantic Oriented Theory of Programming）》作者简介

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