ACM Transactions on Programming Languages and Systems (TOPLAS), Volume 3

Volume 3, Number 1, January 1981

Jørgen Steensgaard-Madsen: A Statement-Oriented Approach to Data Abstraction. 1-10
F. André, Jean-Pierre Banâtre, Jean-Paul Routeau: A Multiprocessing Approach to Compile-Time Symbol Resolution. 11-23
Otto C. Juelich, Clinton R. Foulk: Compilation of Acyclic Smooth Programs for Parallel Execution. 24-48
Dale H. Grit, Rex L. Page: Deleting Irrelevant Tasks in an Expression-Oriented Multiprocessor System. 49-59
Bent Bruun Kristensen, Ole Lehrmann Madsen: Methods for Computing LALR(k) Lookahead. 60-82
Wilf R. LaLonde, Jim des Rivières: Handling Operator Precedence in Arithmetic Expressions with Tree Transformations. 83-103
Jayadev Misra: An Exercise in Program Explanation. 104-109

Christopher W. Fraser, A. A. Lopez: Editing Data Structures. 115-125
Edmond Schonberg, Jacob T. Schwartz, Micha Sharir: An Automatic Technique for Selection of Data Structures in SETL Programs. 126-143
Ralph E. Griswold, David R. Hanson, John T. Korb: Generators in Icon. 144-161
David R. Hanson: Algorithm 568: PDS - A Portable Directory System. 162-167
Wilf R. LaLonde: The Construction of Stack-Controlling LR Parsers for Regular Right Part Grammars. 168-206

John D. Gannon, Paul R. McMullin, Richard G. Hamlet: Data-Abstraction Implementation, Specification, and Testing. 211-223
Jan van den Bos, Marinus J. Plasmeijer, Jan Stroet: Process Communication Based on Input Specifications. 224-250
Martin Rem: Associons: A Program Notation with Tuples Instead of Variables. 251-262
Gary Lindstrom, Mary Lou Soffa: Referencing and Retention in Block-Structured Coroutines. 263-292
John A. Barnden: Nonsequentiality and Concrete Activity Phases in Discrete-Event Simulation Languages. 293-317
S. O. Anderson, Roland Carl Backhouse: Locally Least-Cost Error Recovery in Early's Algorithm. 318-347

Alan Borning: The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory. 353-387
Mehdi Jazayeri, Diane Pozefsky: Space-Efficient Storage Management in an Attribute Grammar Evaluator. 388-404
Gregory R. Andrews: Synchronizing Resources. 405-430
Krzysztof R. Apt: Ten Years of Hoare's Logic: A Survey - Part 1. 431-483
Irene Greif, Albert R. Meyer: Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer. 484-507
Wilfred J. Hansen: A Cost Model for the Internal Organization of B+-Tree Nodes. 508-532