×

模块化重写语义在实践中的应用。 (英语) Zbl 1272.68168号

Martí-Oliet,N.(编辑),第五届重写逻辑及其应用国际研讨会论文集(WRLA 2004),西班牙巴塞罗那,2004年3月27日至28日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记117,393-416(2005)。
摘要:我们提出了一种通用的方法来实现编程语言的语义定义模块化,即重写理论,这样语义规则就不必在语言扩展中重新定义。我们通过两个语言案例研究来说明此方法的实际应用:CCS的两个不同语义,以及GNU bc语言的三个不同语义。
关于整个系列,请参见[Zbl 1271.68050号].

MSC公司:

2012年第68季度 语法和重写系统
68甲15 编程语言理论
PDF格式BibTeX公司 XML格式引用
全文: 链接