![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
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. ACM Trans. Program. Lang. Syst. 3(1): 60-82 (1981) - 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
Volume 3, Number 2, April 1981
- 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
Volume 3, Number 3, July 1981
- 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 - Stuart Oliver Anderson, Roland Carl Backhouse:
Locally Least-Cost Error Recovery in Early's Algorithm. 318-347
Volume 3, Number 4, October 1981
- 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. ACM Trans. Program. Lang. Syst. 3(4): 508-532 (1981)
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.