Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM 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)
a service of 
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.
last updated on 2024-04-18 20:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
