enter search term and/or author name
Erratum to: Efficient constraint propagation engines
Christian Schulte, Peter J. Stuckey
This article advocates the revival of coroutines as a convenient general control abstraction. After proposing a new classification of coroutines, we introduce the concept of full asymmetric coroutines and provide a precise definition for it...
Expressive and modular predicate dispatch for Java
Todd Millstein, Christopher Frost, Jason Ryder, Alessandro Warth
Article No.: 7
Predicate dispatch is an object-oriented (OO) language mechanism for determining the method implementation to be invoked upon a message send. With predicate dispatch, each method implementation includes a predicate guard specifying the...
The computational power and complexity of constraint handling rules
Jon Sneyers, Tom Schrijvers, Bart Demoen
Article No.: 8
Constraint Handling Rules (CHR) is a high-level rule-based programming language which is increasingly used for general-purpose programming. We introduce the CHR machine, a model of computation based on the operational semantics of CHR. Its...