面向语义计算编程理论

• 来源期刊: 光学精密机械
• 学科: 工学
• 关键词: 语义计算 编程语言 编程理论 SEMANTIC 理论教研室 英文专著 崇义 OES
• 年，卷（期）: 2020,（2）
• 页码范围: 38-38
• 页数: 1页
• 分类号: TP3

摘要

科学出版社日前出版了北大信息学院软件理论教研室原主任、教授袁崇义的英文专著《OESPA:Semantic Oriented Theory of Programming》,书中提出了面向语义的新编程理论OESPA,这是目前唯一能做语义计算的编程理论。袁崇义介绍,OESPA包括计算模型(编程语言)OE,语义谓词SP和语义公理A。