1. POPL 1973:
Boston, Massachusetts, USA
Patrick C. Fischer, Jeffrey D. Ullman (Eds.):
Conference Record of the ACM Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, October 1973.
ACM Press 1973
- Alfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman:
Deterministic Parsing of Ambiguous Grammars.
1-21

- Matthew M. Geller, Michael A. Harrison:
Strict Deterministic Versus LR(0) Parsing.
22-32

- Mario Schkolnick:
Labelled Precedence Parsing.
33-40

- Vaughan R. Pratt:
Top Down Operator Precedence.
41-51

- Susan L. Graham, Steven P. Rhodes:
Practical Syntactic Error Recovery.
52-58

- Mary Zosel:
A Parallel Approach to Compilation.
59-70

- John W. Backus:
Programming Language Semantics and Closed Applicative Languages.
71-86

- David Beech:
On the Definitional Method of Standard PL/1.
87-94

- Robert D. Tennent:
Mathematical Semantics of Snobol 4.
95-107

- Louis Nolin, G. Ruggiu:
Formalization of Exel.
108-119

- James H. Morris Jr.:
Types are Not Sets.
120-124

- Clayton H. Lewis, Barry K. Rosen:
Recursively Defined Data Types.
125-138

- Alice E. Fischer, Michael J. Fischer:
Mode Modules as Representations of Domains.
139-143

- F. Lockwood Morris:
Advice on Structuring Compilers and Proving Them Correct.
144-152

- Carl Hewitt, Peter Bishop, Irene Greif, Brian Cantwell Smith, Todd Matson, Richard Steiger:
Actor Induction and Meta-Evaluation.
153-168

- Richard J. Waldinger, Karl N. Levitt:
Reasoning About Programs.
169-182

- Andrea Maggiolo-Schettini, Barry K. Rosen, H. Raymond Strong:
Procedure Linkage Optimization.
183-193

- Gary A. Kildall:
A Unified Approach to Global Program Optimization.
194-206

- Matthew S. Hecht, Jeffrey D. Ullman:
Analysis of a Simple Algorithm for Global Flow Problems.
207-217

- Arnold L. Rosenberg:
Transitions in Extendible Arrays.
218-225

- Gloria J. Lambert:
Large Scale File Processing - Pogol.
226-234

- Ashok K. Chandra:
On the Decision Problems of Program Schemas with Commutative and Invertable Functions.
235-242

Last update Sun May 26 02:50:58 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page