Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 18 Issue 1, Jan. 1996

Iteration abstraction in Sather
Stephan Murer, Stephen Omohundro, David Stoutamire, Clemens Szyperski
Pages: 1-15
DOI: 10.1145/225540.225541
Sather extends the notion of an iterator in a powerful new way. We argue that iteration abstractions belong in class interfaces on an equal footing with routines. Sather iterators were derived from CLU iterators but are much more flexible and...

On the optimality of change propagation for incremental evaluation of hierarchical attribute grammars
Alan Carle, Lori Pollock
Pages: 16-29
DOI: 10.1145/225540.225542
Several new attribute grammar dialects have recently been developed, all with the common goal of allowing large, complex language translators to be specified through a modular composition of smaller attribute grammars. We refer to the class of...

An incremental algorithm for satisfying hierarchies of multiway dataflow constraints
Brad Vander Zanden
Pages: 30-72
DOI: 10.1145/225540.225543
One-way dataflow constraints have gained popularity in many types of interactive systems because of their simplicity, efficiency, and manageability. Although it is widely acknowledged that multiway dataflow constraint could make it easier to...

Conditional attribute grammars
John Tang Boyland
Pages: 73-108
DOI: 10.1145/225540.225544
Attribute grammars are a useful formalism for the specification of computations on structured terms. The classical definition of attribute grammars, however, has no way of treating conditionals nonstrictly. Consequently, the natural way of...