1. POPL 1973: Boston, Massachusetts

• 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