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

Volume 2, Number 1, January 1980

David Harel: And/Or Programs: A New Approach to Structured Programming. 1-17 BibTeX
Ajit B. Pai, Richard B. Kieburtz: Global Context Recovery: A New Strategy for Syntactic Error Recovery by Table-Drive Parsers. 18-41 BibTeX
Nissim Francez: Distributed Termination. 42-55 BibTeX
Gregory R. Andrews, Richard P. Reitman: An Axiomatic Approach to Information Flow in Programs. 56-76 BibTeX
Christos H. Papadimitriou, Philip A. Bernstein: On the Performance of Balanced Hashing Functions When the Keys Are Not Equiprobable. 77-89 BibTeX
Zohar Manna, Richard J. Waldinger: A Deductive Approach to Program Synthesis. 90-121 BibTeX
D. B. Arnold, M. Ronan Sleep: Uniform Random Generation of Balanced Parenthesis Strings. 122-128 BibTeX
Douglas Comer: A Note on Median Split Trees. 129-133 BibTeX

Peter J. L. Wallis: External Representations of Objects of User-Defined Type. 137-152 BibTeX
Ralph E. Griswold, David R. Hanson: An Alternative to the Use of Patterns in String Processing. 153-172 BibTeX
R. G. G. Cattell: Automatic Derivation of Code Generators from Machine Descriptions. 173-190 BibTeX
Jack W. Davidson, Christopher W. Fraser: The Design and Application of a Retargetable Peephole Optimizer. 191-202 BibTeX
Charles N. Fischer: On Parsing and Compiling Arithmetic Expressions on Vector Computers. 203-224 BibTeX
David C. Luckham, Wolfgang Polak: Ada Exception Handling: An Axiomatic Approach. 225-233 BibTeX
Arthur J. Bernstein: Output Guards and Nondeterminism in ``Communicating Sequential Processes''. 234-238 BibTeX
Perng-Yi Richard Ma, Ted G. Lewis: Design of a Machine-Independent Optimizing System for Emulator Development. 239-262 BibTeX

Daniel G. Bobrow: Managing Reentrant Structures Using Reference Counts. 269-273 BibTeX
Bruce W. Leverett, Thomas G. Szymanski: Chaining Span-Dependent Jump Instructions. 274-289 BibTeX
Hanan Samet: A Coroutine Approach to Parsing. 290-306 BibTeX
William E. Howden: Applicability of Software Validation Techniques to Scientific Programs. 307-320 BibTeX
Manfred Broy, Bernd Krieg-Brückner: Derivation of Invariant Assertions During Program Development by Transformation. 321-337 BibTeX
Edmund M. Clarke: Synthesis of Resource Invariants for Concurrent Programs. 338-358 BibTeX
Krzysztof R. Apt, Nissim Francez, Willem P. de Roever: A Proof System for Communicating Sequential Processes. 359-385 BibTeX
Marco A. Casanova, Philip A. Bernstein: A Formal System for Reasoning about Programs Accessing a Relational Database. 386-414 BibTeX
Susan L. Graham, Michael A. Harrison, Walter L. Ruzzo: An Improved Context-Free Recognizer. 415-462 BibTeX

Derek C. Oppen: Prettyprinting. 465-483 BibTeX
Jacob T. Schwartz: Ultracomputers. 484-521 BibTeX
George W. Ernst, William F. Ogden: Specification of Abstract Data Types in Modula. 522-543 BibTeX
Carl E. Landwehr: An Abstract Type for Statistics Collection in Simula. 544-563 BibTeX
David Gries, Gary Levin: Assignment and Procedure Call Proof Rules. 564-579 BibTeX
Bernard M. E. Moret, Michael G. Thomason, Rafael C. Gonzalez: The Activity of a Variable and Its Relation to Decision Trees. 580-595 BibTeX