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

龙都国际娱乐官网

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

(责任编辑:王蔚)

热点推荐

NASA今年有点儿忙

NASA今年有点儿忙

2019年,美国国家航空航天局(NASA)迎来多个高光...

火星失水速度比预想的更快

火星失水速度比预想的更快

法国科学家在1月9日发表的《科学》杂志在线版撰文...

地球首次生物大灭绝持续时间仅20万年

地球首次生物大灭绝持续时间仅20万年

进入显生宙以来,地球一共发生过5次全球性大规模集...

补齐铝产业短板 不能头痛医头、脚痛医脚

补齐铝产业短板 不能头痛医头、脚痛医脚

“铝材加工产品同质化、低价竞争等现象还很严重,...

从“自主创新”到“授人以渔”看东芝投身科学教育创新的十年

从“自主创新”到“授人以渔”看东芝投身科学教育创新的十年

不久前,朋友圈中刚依依不舍地告别了一零年代,比...

避免白鲟悲剧重演 灭绝风险评估要趁早

避免白鲟悲剧重演 灭绝风险评估要趁早

2020年,我们第一份对野生动物的动容,给了长江白...

美国:人工智能产业春天已至 自动驾驶安全隐忧凸显 谷歌宣称实现量子霸权

美国:人工智能产业春天已至 自动驾驶安全隐忧凸显 谷歌宣称实现量子霸权

人工智能春天已至,三个层面皆有突破:机器人技术...