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 14 Issue 3, July 1992

Experience with a software-defined machine architecture
David W. Wall
Pages: 299-338
DOI: 10.1145/129393.129395
We have built a system in which the compiler back end and the linker work together to present an abstract machine at a considerably higher level than the actual machine. The intermediate language translated by the back end is the target language...

The CLP( R ) language and system
Joxan Jaffar, Spiro Michaylov, Peter J. Stuckey, Roland H. C. Yap
Pages: 339-395
DOI: 10.1145/129393.129398
The CLP R programming language is defined, its underlying philosophy and programming methodology are discussed, important implementation issues...

Trace-based network proof systems: expressiveness and completeness
Jennifer Widom, David Gries, Fred B. Schneider
Pages: 396-416
DOI: 10.1145/129393.129396
We consider incomplete trace-based network proof systems for safety properties, identifying extensions that are necessary and sufficient to achieve relative completeness. We investigate the expressiveness required of any trace logic to encode...

A stepwise refinement heuristic for protocol construction
A. Udaya Shankar, Simon S. Lam
Pages: 417-461
DOI: 10.1145/129393.129394
A stepwise refinement heuristic to construct distributed systems is presented. The heuristic is based on a conditional refinement relation between system specifications, and a “Marking”. It is applied to construct four sliding window...