食品
欢迎来稿
  • 产经资讯
  • 在线教育
  • 网络安全
  • 创新科技
  • 科技生活
  • 人工智能
  • 科学新知
  • 科技名企
  • 科技新闻
  • 当前位置首页 > 科技新闻 > 正文

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

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

    (责任编辑:王蔚)

    热点推荐

    确诊病例已超1000万 国际组织如何“快速响应”

    确诊病例已超1000万 国际组织如何“快速响应”

    GloPID-R是一个国际研究资助机构组成的国际联盟。...

    同为“无字天书” 冰芯凝气候历史 湖芯藏环境档案

    同为“无字天书” 冰芯凝气候历史 湖芯藏环境档案

    冰芯被称为“无字的环境密码档案库”。近日,我国...

    北极圈测得38℃高温,属常态吗?

    北极圈测得38℃高温,属常态吗?

    据“今日俄罗斯”电视台报道,当地时间6月20日,位...

    《2020欧洲粒子物理学战略》发布意义深远

    《2020欧洲粒子物理学战略》发布意义深远

    CERN拟议建造未来环形对撞机接棒LHC。新对撞机或许...

    德国大力发展氢经济

    德国大力发展氢经济

    今年举办的第98届比利时布鲁塞尔车展上,众多新能...

    生物安全实验室数量上去了 配套措施也得跟上

    生物安全实验室数量上去了 配套措施也得跟上

    尤其是P3实验室,国家在管理上非常严格,运营成本...

    数字经济将引领疫情后的中国经济

    数字经济将引领疫情后的中国经济

    “世界不会也不应该再回到疫情之前的世界。”日本...