Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 31 Issue 2, February 2009

Erratum to: Efficient constraint propagation engines
Christian Schulte, Peter J. Stuckey
DOI: 10.1145/1462166.1462170

Revisiting coroutines
Ana Lúcia De Moura, Roberto Ierusalimschy
Article No.: 6
DOI: 10.1145/1462166.1462167

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
DOI: 10.1145/1462166.1462168

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
DOI: 10.1145/1462166.1462169

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...