TOPLAS 1981

24 papers

1. A Cost Model for the Internal Organization of B+-Tree Nodes · Wilfred J. Hansen
2. A Multiprocessing Approach to Compile-Time Symbol Resolution · F. André, Jean-Pierre Banâtre, Jean-Paul Routeau
3. A Statement-Oriented Approach to Data Abstraction · Jørgen Steensgaard-Madsen
4. Algorithm 568: PDS - A Portable Directory System · David R. Hanson
5. An Automatic Technique for Selection of Data Structures in SETL Programs · Edmond Schonberg, Jacob T. Schwartz, Micha Sharir
6. An Exercise in Program Explanation · Jayadev Misra
7. Associons: A Program Notation with Tuples Instead of Variables · Martin Rem
8. Compilation of Acyclic Smooth Programs for Parallel Execution · Otto C. Juelich, Clinton R. Foulk
9. Data-Abstraction Implementation, Specification, and Testing · John D. Gannon, Paul R. McMullin, Richard G. Hamlet
10. Deleting Irrelevant Tasks in an Expression-Oriented Multiprocessor System · Dale H. Grit, Rex L. Page
11. Editing Data Structures · Christopher W. Fraser, A. A. Lopez
12. Generators in Icon · Ralph E. Griswold, David R. Hanson, John T. Korb
13. Handling Operator Precedence in Arithmetic Expressions with Tree Transformations · Wilf R. LaLonde, Jim des Rivières
14. Locally Least-Cost Error Recovery in Early's Algorithm · Stuart Oliver Anderson, Roland Carl Backhouse
15. Methods for Computing LALR(k) Lookahead · Bent Bruun Kristensen, Ole Lehrmann Madsen
16. Nonsequentiality and Concrete Activity Phases in Discrete-Event Simulation Languages · John A. Barnden
17. Process Communication Based on Input Specifications · Jan van den Bos, Marinus J. Plasmeijer, Jan Stroet
18. Referencing and Retention in Block-Structured Coroutines · Gary Lindstrom, Mary Lou Soffa
19. Space-Efficient Storage Management in an Attribute Grammar Evaluator · Mehdi Jazayeri, Diane Pozefsky
20. Specifying the Semantics of while Programs: A Tutorial and Critique of a Paper by Hoare and Lauer · Irene Greif, Albert R. Meyer
21. Synchronizing Resources · Gregory R. Andrews
22. Ten Years of Hoare's Logic: A Survey - Part 1 · Krzysztof R. Apt
23. The Construction of Stack-Controlling LR Parsers for Regular Right Part Grammars · Wilf R. LaLonde
24. The Programming Language Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory · Alan Borning