计算机工程与应用2008，Vol.44Issue(20)：86-88,3.
一种基于规则的语言的公理语义
Axiomatic semantics of rule-based language
摘要
关键词
规则/逻辑规则描述语言/公理语义/Hoare逻辑/形式语法分类
信息技术与安全科学引用本文复制引用
魏振春,韩江洪,陆阳,刘小平..一种基于规则的语言的公理语义[J].计算机工程与应用,2008,44(20):86-88,3.基金项目
国家教育部博士点基金(the Fund for the Dectoral Program of the Ministry of Education of China under Grant No.20050359004) （the Fund for the Dectoral Program of the Ministry of Education of China under Grant No.20050359004）
国家教育部新世纪优秀人才计划项目(the New Cemury Excellent Talent Foundation from MOE of China under Grant No.NCET-04-050562) （the New Cemury Excellent Talent Foundation from MOE of China under Grant No.NCET-04-050562）
安徽省科技公关计划项目(the Key Technologies R&D Program of Anhui Province,China under Grant No.06012069B). （the Key Technologies R&D Program of Anhui Province,China under Grant No.06012069B）
