Abstract is missing.
- Deterministic Parsing of Ambiguous GrammarsAlfred V. Aho, Steven C. Johnson, Jeffrey D. Ullman. 1-21
- Strict Deterministic Versus LR(0) ParsingMatthew M. Geller, Michael A. Harrison. 22-32
- Labelled Precedence ParsingMario Schkolnick. 33-40
- Top Down Operator PrecedenceVaughan R. Pratt. 41-51
- Practical Syntactic Error RecoverySusan L. Graham, Steven P. Rhodes. 52-58
- A Parallel Approach to CompilationMary Zosel. 59-70
- Programming Language Semantics and Closed Applicative LanguagesJohn W. Backus. 71-86
- On the Definitional Method of Standard PL/1David Beech. 87-94
- Mathematical Semantics of Snobol 4Robert D. Tennent. 95-107
- Types are Not SetsJames H. Morris Jr.. 120-124
- Recursively Defined Data TypesClayton H. Lewis, Barry K. Rosen. 125-138
- Mode Modules as Representations of DomainsAlice E. Fischer, Michael J. Fischer. 139-143
- Advice on Structuring Compilers and Proving Them CorrectF. Lockwood Morris. 144-152
- Actor Induction and Meta-EvaluationCarl Hewitt, Peter Bishop, Irene Greif, Brian Cantwell Smith, Todd Matson, Richard Steiger. 153-168
- Reasoning About ProgramsRichard J. Waldinger, Karl N. Levitt. 169-182
- Procedure Linkage OptimizationAndrea Maggiolo-Schettini, Barry K. Rosen, H. Raymond Strong. 183-193
- A Unified Approach to Global Program OptimizationGary A. Kildall. 194-206
- Analysis of a Simple Algorithm for Global Flow ProblemsMatthew S. Hecht, Jeffrey D. Ullman. 207-217
- Transitions in Extendible ArraysArnold L. Rosenberg. 218-225
- On the Decision Problems of Program Schemas with Commutative and Invertable FunctionsAshok K. Chandra. 235-242