搜索结果: 1-2 共查到“应用语言学 中国学者”相关记录2条 . 查询时间(0.348 秒)
中国学者提出面向语义计算编程理论
中国学者 面向语义 计算编程理论
<
2019/12/3
2019年12月2日,记者从科学出版社获悉,该出版社日前出版了北大信息学院软件理论教研室原主任、教授袁崇义的英文专著《OESPA: Semantic Oriented Theory of Programming》,书中提出了面向语义的新编程理论OESPA,成为目前唯一能做语义计算的编程理论。袁崇义介绍,OESPA包括计算模型(编程语言)OE,语义谓词SP和语义公理A。传统的程序语言以社会学中的形式...