28365356体育在线

365bet亚洲备用

语义编程理论OESPA可帮助您在基础计算机理论研究中获得创新成果

作者:365bet线上娱乐 发布时间:2019-11-20 08:16 点击次数:

计算机应用遍及整个人类社区,新软件必须通过测试。
测试是软件开发中必不可少的步骤。
该测试只能检测错误,而不能确定是否有任何错误。
可能的错误会随时影响公共生活。
数十年来,专家一直使用数学描述和逻辑推理来定义和测试正确的过程,但是到目前为止,该过程尚未成功。
今年,科学出版社出版了北京大学教授袁崇义的英文专着“ OESPA:面向对象编程的语义理论”,并提出了一套针对OESPA的语义编程理论。
过去20年的努力终于取得了创新的研究成果。
退休的袁忠义致力于教学和研究计算机基础理论,并始终在思考传统的语义问题。
在北京大学任教期间,袁崇义致力于教授Petri网和形式语义,同时进行基础软件理论研究。
OESPA包括计算模型(编程语言)OE,语义谓词SP和语义公理A。
OE为2到1。定义OE的表达式是编译器要求的形式语法,也是定义语义公理的形式基础。
SP传达初始状态和最终状态以准确描述程序语义。
SP公式和SP SP计算用于语义计算和语义程序合成,并且可以通过符号处理工具来演示程序修改。
一旦开发了相应的符号处理系统,测试就不再是必需的编程步骤。
OESPA的成功将受益于适用于几乎任何需要构建模型的应用程序的ARM建模技术。
实践表明,传统数学没有提供程序语义的正式处理所必需的工具。在ARM的指导下,OESPA成功并填补了传统数学上的空白。
OESPA是当前唯一可以进行语义计算的编程理论。
袁崇义说:
“袁崇义使用SP和A进行C语言指针的语义处理,并提出了语义指针公理,这表明OESPA可用于传统语言程序的形式语义处理。


   


上一篇:完整的仆人作品和两部主要电视连续剧。   下一篇:没有了