1. POPL 1973:
Boston,
Massachusetts
Conference Record of the ACM Symposium on Principles of Programming Languages,
Boston, Massachusetts, October 1973.
- Alfred V. Aho, Steven 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
Copyright © Tue Nov 10 00:05:52 2009
by Michael Ley (ley@uni-trier.de)
