程序设计语言的模糊语义

• 作者: 吴恒洋 陈仪香
• 来源期刊: 模糊系统与数学
• 学科: 数学
• 关键词: 形式语义 命令式语言 契约语言 谓词转换器
• 年，卷（期）: 2015,（5）
• 所属期刊栏目: 模糊集理论
• 页码范围: 11-15
• 页数: 5页
• 分类号: O159
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	陈仪香		20	64	4.0	7.0
2	吴恒洋		4	7	2.0	2.0