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

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

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

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