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

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

魏振春 ^1,2,韩江洪 ^1,2,陆阳 ^1,2,刘小平 ¹

Axiomatic semantics of rule-based language

WEI Zhen-chun ^1,2,HAN Jiang-hong ^1,2,LU Yang ^1,2,LIU Xiao-ping ¹

计算机工程与应用 . 2008, (20): 86 -88 . DOI: 10.3778/j.issn.1002-8331.2008.20.027