Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 22 Issue 6, Nov. 2000

Extending Graham-Glanville techniques for optimal code generation

Pages: 973-1001
DOI: 10.1145/371880.371881
We propose a new technique for constructing code-generator generators, which combines the advantages of the Graham-Glanville parsing technique and the bottom-up tree parsing approach. Machine descriptions are similar to Yacc specifications. The...

The role of commutativity in constraint propagation algorithms
Krzysztof R. Apt
Pages: 1002-1036
DOI: 10.1145/371880.371884
Constraing propagation algorithms form an important part of most of the constraint programming systems. We provide here a simple, yet very general framework that allows us to explain several constraint propagation algorithms in a systematic...

Syntactic type abstraction
Dan Grossman, Greg Morrisett, Steve Zdancewic
Pages: 1037-1080
DOI: 10.1145/371880.371887
Software developers often structure programs in such a way that different pieces of code constitute distinct principals. Types help define the protocol by which these principals interact. In particular, abstract...