命令式模糊程序语言的语义

• 作者: 吴恒洋
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 模糊程序语言 命令式语言 指称语义 最弱(线性)前置条件语义 模糊逻辑
• 年，卷（期）: 2013,（4）
• 所属期刊栏目: 计算机理论
• 页码范围: 862-869
• 页数: 8页
• 分类号: TP301
• 字数: 6813字
• 语种: 中文
• DOI: 10.3724/SP.J.1016.2013.00862

摘要

文中关注计算机语言的形式语义学,旨在建立一种命令式模糊程序语言的指称语义与最弱(线性)前置条件语义.首先,借助模糊逻辑中的三角模、三角余模、非、蕴含以及模糊关系的合成等成功地完成了这两种语义的建模.这种方法为形式语义学的研究提供了一个新的视角.其次,证明了该语言的一些重要性质并讨论了最弱前置条件语义与最弱线性前置条件语义之间的关系.最后,证明了指称语义与最弱(线性)前置条件语义之间的对偶,该对偶表明了这两种语义可以相互诱导.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴恒洋	杭州电子科技大学信息工程学院	2	14	2.0	2.0