一种基于规则的语言的公理语义

摘要：

为了准确描述离散事件控制系统对象之间的逻辑关系和编写控制程序,提出了一种基于规则的语言--逻辑规则描述语言(LRDL).用EBNF给出了LRDL的语法定义,基于Hoare逻辑的公理系统,形式化地给出并证明了LRDL的公理语义,为用LRDL编写的程序的正确性证明提供了理论依据.

关键词：规则、逻辑规则描述语言、公理语义、Hoare逻辑、形式语法

所属期刊栏目：44

分类号：TP301.2(计算技术、计算机技术)

资助基金：高等学校博士学科点专项科研项目20050359004;教育部跨世纪优秀人才培养计划NCET-04-050562;安徽省科技公关计划项目06012069B

在线出版日期：2008-09-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：86-88