| 一种基于规则的语言的公理语义 |
| |
| 引用本文： | 魏振春,韩江洪,陆阳,刘小平. 一种基于规则的语言的公理语义[J]. 计算机工程与应用, 2008, 44(20): 86-88. DOI: 10.3778/j.issn.1002-8331.2008.20.027 |
| |
| 作者姓名： | 魏振春 韩江洪 陆阳 刘小平 |
| |
| 作者单位： | 合肥工业大学,计算机与信息学院,合肥,230009;教育部安全关键工业测控技术工程研究中心,合肥,230009;合肥工业大学,计算机与信息学院,合肥,230009 |
| |
| 基金项目： | 高等学校博士学科点专项科研项目 , 教育部跨世纪优秀人才培养计划 , 安徽省科技公关计划项目 |
| |
| 摘 要： | 为了准确描述离散事件控制系统对象之间的逻辑关系和编写控制程序，提出了一种基于规则的语言——逻辑规则描述语言（LRDL）。用EBNF给出了LRDL的语法定义，基于Hoare逻辑的公理系统，形式化地给出并证明了LRDL的公理语义，为用LRDL编写的程序的正确性证明提供了理论依据。
|
| 关 键 词： | 规则 逻辑规则描述语言 公理语义 Hoare逻辑 形式语法 |
| 收稿时间： | 2007-10-08 |
| 修稿时间： | 2007-12-24 |
Axiomatic semantics of rule-based language |
| |
| WEI Zhen-chun,HAN Jiang-hong,LU Yang,LIU Xiao-ping. Axiomatic semantics of rule-based language[J]. Computer Engineering and Applications, 2008, 44(20): 86-88. DOI: 10.3778/j.issn.1002-8331.2008.20.027 |
| |
| Authors: | WEI Zhen-chun HAN Jiang-hong LU Yang LIU Xiao-ping |
| |
| Affiliation: | 1.School of Computer & Information，Hefei University of Technology，Hefei 230009，China 2.Engineering Research Center of Safety Critical Industrial Measurement and Control Technology，Ministry of Education，Hefei 230009，China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载免费的PDF全文 |
|
