我国学者提出面向语义计算编程理论 2019-12-08 22:28

  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可以用于传统语言程序的语义形式化处理。(记者 马爱平)

  人社部拟发新规:民企评职称要破除唯学历唯论文倾向人力资源社会保障部办公厅近日就《关于进一步做好民营企业职称工作的通知(征求意见稿)》公开征求意见。征求意见稿提出,完善以市场评价为导向的职称评审标准。进一步破除“唯学历、唯资历、唯论文、唯奖项”倾向,突出工作能力和业绩考核,注重市场认可和对企业的实际贡献。对论文、职称外语等不做限制性要求…【详细】

  宇宙的“两副面孔”:大爆炸之前发生了什么?宇宙从何而来?又如何变成如今这般“模样”?目前科学家广泛认可的故事始于约138亿年前。那时,一个密度极大的点发生暴胀,然后宇宙大爆炸开始,宇宙不断膨胀并冷却,原子核、原子,直至我们今天看到的漫天繁星等开始形成…【详细】