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

  • 时间:
  • 浏览:2
  • 来源:极速3分彩_秒秒彩平台

调查问题 加载中,请稍候。

若长时间无响应,请刷新本页面

  2日,记者从科学出版社获悉,该出版社日前出版了北大信息学院软件理论教研室原主任、教授袁崇义的英文专著《OESPA: Semantic Oriented Theory of Programming》,书中提出了面向语义的新编程理论OESPA,这是目前唯一能做语义计算的编程理论。

  袁崇义介绍,OESPA包括计算模型(编程语言)OE,语义谓词SP和语义公理A。传统的多多系统进程 语言以社会学中的形式语言学为理论基础,这么考虑语义形式化的需求。OE则是二合一的,定义OE的公式既是编译多多系统进程 前要的形式语法,又是定义语义公理的形式基础。

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

  共同,袁崇义尝试SP和A用于C语言指针的语义防止,提出了指针的语义公理,表明OESPA还前要用于传统语言多多系统进程 的语义形式化防止。(记者马爱平)

[ 责编:赵宇豪 ]

阅读剩余全文(