|
题名:
|
OESPA : 面向语义的编程理论 / 袁崇义著 , |
|
ISBN:
|
978-7-03-060093-6 价格： CNY120.00 |
|
语种:
|
eng |
|
载体形态:
|
211页 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2019 |
|
内容提要:
|
传统的软件理论研究是形式语法和形式语义分离，语义研究成果没有实用性,测试一直是软件开发的必要步骤。本书是统一研究语法与语义的成果，包括程序模型（OE），语义公理（A），语义谓词（SP），语义谓词演算，是一套全新的完整的实用的程序理论。实例证明用OESPA可以用于程序开发各步骤，程序验证及程序验证自动化（符号演算）。测试不再是必要的。为开发相应的验证工具奠定了基础。语义谓词和语义谓词演算是传统数学没有的新概念，新理论，突破了传统数学的局限，使新的程序理论成为可能。 |
|
主题词:
|
语义网络 网络编程 |
|
中图分类法:
|
TP18 版次： 5 |
|
主要责任者:
|
袁崇义 著 |
|
索书号:
|
3 |