CHR的组合语义
编程语言
2007-05-23 v1
摘要
约束处理规则（Constraint Handling Rules, CHR）是一种提交选择的声明式语言，旨用于编写约束求解器。CHR程序由多目标 guarded 规则组成，这些规则允许将约束重写为更简单的形式，直至达到已解决形式。CHR从实用主义和理论主义两个层面受到广泛关注。然而，由于多目标子句的使用，CHR语义的多个方面尚未阐明。特别是，迄今为止尚未定义CHR的组合语义。本文引入一种固定点语义，其描述了CHR程序的输入/输出行为，并且是合取（and-compositional）的，即允许从组成部分的语义中检索联合查询的语义。这种语义可用于定义增量和模块化的分析与验证工具。
引用
@article{arxiv.cs/0603079,
title = {A compositional Semantics for CHR},
author = {Maurizio Gabbrielli and Maria Chiara Meo},
journal= {arXiv preprint arXiv:cs/0603079},
year = {2007}
}