基于线性逻辑的带有析取的约束处理规则分析
摘要：CHR：一种与线性逻辑密切相关的声明性明确选择编程语言。CHRv：一种多范式的声明性编程语言，允许嵌入角编程。在发展线性逻辑声明性语义之前，我们分析了CHR的经典声明性语义的优势和限制，并进行了激励和发展。我们展示了如何应用线性逻辑语义来确定程序属性，并证明跨语言范式的CHRv程序的操作等价性。
作者：Hariolf Betz, Thom W. Fr"uhwirth
论文ID：1009.2900
分类：Programming Languages
分类简称：cs.PL
提交时间：2010-09-16