ACM DL

Programming Languages and Systems (TOPLAS)

Menu

Search Issue
enter search term and/or author name

Archive


ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 12 Issue 4, Oct. 1990

The priority-based coloring approach to register allocation
Fred C. Chow, John L. Hennessy
Pages: 501-536
DOI: 10.1145/88616.88621
Global register allocation plays a major role in determining the efficacy of an optimizing compiler. Graph coloring has been used as the central paradigm for register allocation in modern compilers. A straightforward coloring approach can suffer...

Remote evaluation
James W. Stamos, David K. Gifford
Pages: 537-564
DOI: 10.1145/88616.88631
A new technique for computer-to-computer communication is presented that can increase the performance of distributed systems. This technique, called remote evaluation, lets one computer send another computer a request in the form of a program. A...

An approach to support automatic generation of user interfaces
Prasun Dewan, Marvin Solomon
Pages: 566-609
DOI: 10.1145/88616.214518
In traditional interactive programming environments, each application individually manages its interaction with the human user. The result is duplication of effort in implementing user interface code and nonuniform—hence...

On Kilbury's modification of Earley's algorithm
Hans Leiss
Pages: 610-640
DOI: 10.1145/88616.88637
We improve on J. Kilbury's proposal to interchange “predictor” and “scanner” in Earley's parser. This modification of Earley's parser can trivially be combined with those suggested by S. Graham, M. Harrison, and W. Ruzzo,...

Using symbolic execution for verification of Ada tasking programs
Laura K. Dillon
Pages: 643-669
DOI: 10.1145/88616.96551
A method is presented for using symbolic execution to generate the verification conditions required for proving correctness of programs written in a tasking subset of Ada. The symbolic execution rules are derived from proof systems that allow...

A comparative evaluation of object definition techniques for large prototype systems
Jack C. Wileden, Lori A. Clarke, Alexander L. Wolf
Pages: 670-699
DOI: 10.1145/88616.88639
Although prototyping has long been touted as a potentially valuable software engineering activity, it has never achieved widespread use by developers of large-scale, production software. This is probably due in part to an incompatibility between...