Programming Languages and Systems (TOPLAS)


Search Issue
enter search term and/or author name


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

A Value Transmission Method for Abstract Data Types
Maurice P. Herlihy, Barbara Liskov
Pages: 527-551
DOI: 10.1145/69622.357182

A Model for Implementing EUCLID Modules and Prototypes
Richard C. Holt, David B. Wortman
Pages: 552-562
DOI: 10.1145/69622.357183

The Evaluation of Expressions in Icon
Ralph E. Griswold
Pages: 563-584
DOI: 10.1145/69622.357184

A Structured APL System
J. Bergeron, A. Dubuque
Pages: 585-600
DOI: 10.1145/69622.357185

A One-Pass Algorithm for Overload Resolution in Ada
T. P. Baker
Pages: 601-614
DOI: 10.1145/69622.69623

Efficient Computation of LALR(1) Look-Ahead Sets
Frank DeRemer, Thomas Pennello
Pages: 615-649
DOI: 10.1145/69622.357187

Transformational Derivation of a Garbage Collection Algorithm
Robert B. K. Dewar, Micha Shirar, Elia Weixelbaum
Pages: 650-667
DOI: 10.1145/69622.357188

A Weaker Precondition for Loops
H. J. Boom
Pages: 668-677
DOI: 10.1145/69622.357189

A Distributed Graph Algorithm: Knot Detection
Jayadev Misra, K. M. Chandy
Pages: 678-686
DOI: 10.1145/69622.357190

Formal Specification of Graphic Data Types
William R. Mallgren
Pages: 687-710
DOI: 10.1145/69622.357191

Data Type Specification: Parameterization and the Power of Specification Techniques
J. W. Thatcher, E. G. Wagner, J. B. Wright
Pages: 711-732
DOI: 10.1145/69622.357192

On the Development of the Algebra of Functional Programs
John H. Williams
Pages: 733-757
DOI: 10.1145/69622.357193

An O(nlog n) Unidirectional Algorithm for the Circular Extrema Problem
Gary L. Peterson
Pages: 758-762
DOI: 10.1145/69622.357194