食品
欢迎来稿
当前位置首页 > 科技新闻 > 正文

我学者提出面向语义计算编程理论

2019-12-03 07:56 来源:科技日报

  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可以用于传统语言程序的语义形式化处理。

(责任编辑:王蔚)

热点推荐

多一个质子的足球烯也许常见于太空

多一个质子的足球烯也许常见于太空

很多天文学家毕其一生都在探索星际云的化学成分,...

机器人图书馆上岗 海量图书各就各位

机器人图书馆上岗 海量图书各就各位

在图书馆借书时,有没有遇到这样的尴尬,明明数据...

无需调控而胜任不同任务 这种AI更接近人类思考方式

无需调控而胜任不同任务 这种AI更接近人类思考方式

纽约大学心理学与认知科学教授马库斯最近和人工智...

《疫苗管理法》实施在即 我国首家高级别生物安全实验室提档升级

《疫苗管理法》实施在即 我国首家高级别生物安全实验室提档升级

12月1日,我国首部《疫苗管理法》(全称《中华人民...

河北发现1.2亿年前美颌龙类新物种

河北发现1.2亿年前美颌龙类新物种

中国地质大学(北京)邢立达副教授等中外科学家26...

重返月球步伐受阻 小小月尘或是原因

重返月球步伐受阻 小小月尘或是原因

自从1972年底阿波罗17号任务完成以后,人类就再也...

“雪龙2”号迎接 破冰能力大考

“雪龙2”号迎接 破冰能力大考

19日,中国科学技术信息研究所在京发布中国卓越论...