Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 17 Issue 5, Sept. 1995

An evaluation of an automatically generated compiler
Anthony M. Sloane
Pages: 691-703
DOI: 10.1145/213978.213980
Compilers or language translators can be generated using a variety of formal specification techniques. Whether generation is worthwhile depends on the effort required to specify the translation task and the quality of the generated compiler. A...

Higher-order distributed objects
Henry Cejtin, Suresh Jagannathan, Richard Kelsey
Pages: 704-739
DOI: 10.1145/213978.213986
We describe a distributed implementation of Scheme that permits efficient transmission of higher-order objects such as closures and continuations. The integration of distributed communication facilities within a higher-order programming language...

Efficient instruction scheduling for delayed-load architectures
Steven M. Kurlander, Todd A. Proebsting, Charles N. Fischer
Pages: 740-776
DOI: 10.1145/213978.213987
A fast, optimal code-scheduling algorithm for processors with a delayed load of one instruction cycle is described. The algorithm minimizes both execution time and register use and runs in time proportional to the size of the expression-tree. An...

Lattice frameworks for multisource and bidirectional data flow problems
Stephen P. Masticola, Thomas J. Marlowe, Barbara G. Ryder
Pages: 777-803
DOI: 10.1145/213978.213989
Multisource data flow problems involve information which may enter nodes independently through different classes of edges. In some cases, dissimilar meet operations appear to be used for different types of nodes. These problems...