程序设计语言的模糊语义

作     者：陈仪香 吴恒洋 CHEN Yi-xiang;WU Heng-yang

作者机构：华东师范大学教育部软硬件协同设计技术与应用工程中心上海200062 杭州电子科技大学信息工程学院浙江杭州310018 

基　　金：国家自然科学基金资助项目(61370100) 浙江省自然科学基金资助项目(LY13F020046) 

出 版 物：《模糊系统与数学》 (Fuzzy Systems and Mathematics)

年 卷 期：2015年第29卷第5期

页      码：11-15页

摘      要：计算机语言的形式语义学是计算机科学的重要研究内容之一,它包括:公理语义、操作语义、指称语义及代数语义。常见的公理语义是通过Hoare三元组构造逻辑系统,使得一个Hoare三元组是正确的当且仅当它可以从该逻辑系统推出;操作语义是从迁移系统的角度研究程序的逐步行为;指称语义是指用相应的数学对象(如,集合,函数等等)对语言的语义进行注释,其基础是论域理论及λ-演算;代数语义是用代数方法对语言的语义进行注释,其基础包括范畴论、抽象数据类型的说明与实现等。另外,最弱前置条件语义及最弱线性条件语义也是一种公理语义。它们转化后置条件为最弱(线性)前置条件。这两者的区别是前者对应全正确的程序(是指程序一定终止);而后者对应部分正确的程序(是指程序不一定终止)。

主 题 词：形式语义 命令式语言 契约语言 谓词转换器 

学科分类：07[理学] 070104[070104] 0701[理学-数学类] 

核心收录：

馆 藏 号：203101308...