当前位置:首页>文化>「赌博游戏老虎机破解版」我学者提出面向语义计算编程理论

「赌博游戏老虎机破解版」我学者提出面向语义计算编程理论

更新时间:2020-01-10 14:19:21 浏览量:857

「赌博游戏老虎机破解版」我学者提出面向语义计算编程理论

赌博游戏老虎机破解版,2日,记者从科学出版社获悉,该出版社日前出版了北大信息学院软件理论教研室原主任、教授袁崇义的英文专著《oespa: semantic oriented theory of programming》,书中提出了面向语义的新编程理论oespa,这是目前唯一能做语义计算的编程理论。

袁崇义介绍,oespa包括计算模型(编程语言)oe,语义谓词sp和语义公理a。传统的程序语言以社会学中的形式语言学为理论基础,没有考虑语义形式化的需求。oe则是二合一的,定义oe的公式既是编译程序需要的形式语法,又是定义语义公理的形式基础。

“传统数学中的谓词只能描述程序单独一个状态的性质,而程序语义是程序初态和终态之间的关系。sp联系初态和终态,能准确描述程序语义。语义谓词sp从语义公理a演变而成。从sp推出的sp公式和sp演算,用于程序的语义计算和语义综合,可借助符号处理工具完成程序正确性证明。”袁崇义表示,一旦开发出相应的符号处理系统,测试就不再是编程必要的一步。sp公式和sp演算还适用于描述程序规范和规范分析。

同时,袁崇义尝试sp和a用于c语言指针的语义处理,提出了指针的语义公理,表明oespa可以用于传统语言程序的语义形式化处理。(记者马爱平)

上一篇:外媒:中民投子公司称并未触发2019年美元债券违约
下一篇:妈咪疑问 | 孩子太安分守己,会不会缺乏创新能力呢?