Guard and Continuation Optimization for Occurrence Representations of CHR

Abstract

Constraint Handling Rules (CHR) is a high-level rule-based language extension, commonly embedded in Prolog. We introduce a new occurrence representation of CHR programs, and a new operational semantics for occurrence representations, equivalent to the widely implemented refined operational semantics. The occurrence representation allows in a natural way to… (More)
DOI: 10.1007/11562931_9
View Slides

Topics

2 Figures and Tables

Slides referencing similar topics