科技日报记者马爱平
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可以用于传统说话法式的语义情势化处置。
加载更多>>