| 命令式模糊程序语言的语义 |
| |
| 引用本文： | 吴恒洋.命令式模糊程序语言的语义[J].计算机学报,2013,36(4). |
| |
| 作者姓名： | 吴恒洋 |
| |
| 作者单位： | 杭州电子科技大学信息工程学院 杭州 310018;华东师范大学上海市高可信计算重点实验室 上海200062 |
| |
| 基金项目： | 上海市高可信计算重点实验室项目，浙江省教育厅科研项目 |
| |
| 摘 要： | 文中关注计算机语言的形式语义学,旨在建立一种命令式模糊程序语言的指称语义与最弱(线性)前置条件语义.首先,借助模糊逻辑中的三角模、三角余模、非、蕴含以及模糊关系的合成等成功地完成了这两种语义的建模.这种方法为形式语义学的研究提供了一个新的视角.其次,证明了该语言的一些重要性质并讨论了最弱前置条件语义与最弱线性前置条件语义之间的关系.最后,证明了指称语义与最弱(线性)前置条件语义之间的对偶,该对偶表明了这两种语义可以相互诱导.
|
| 关 键 词： | 模糊程序语言 命令式语言 指称语义 最弱(线性)前置条件语义 模糊逻辑 |
The Semantics of Imperative Fuzzy Programming Language |
| |
| WU Heng-Yang.The Semantics of Imperative Fuzzy Programming Language[J].Chinese Journal of Computers,2013,36(4). |
| |
| Authors: | WU Heng-Yang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
