4. POPL 1977: Los Angeles, California

• John C. Cherniavsky, Samuel N. Kamin:
  A Complete and Consistent Hoare Semantics for a Simple Programming Language. 1-9
  
• Edmund M. Clarke:
  Programming Language Constructs for Which it is Impossible to Obtain "Good" Hoare-Like Axiom Systems. 10-20
  
• Alfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman:
  Code Generation for Machines with Multiregister Operations. 21-28
  
• William H. Harrison:
  A New Strategy for Code Generation - The General Purpose Optimizing Compiler. 29-37
  
• Barry K. Rosen:
  Applications of High-Level Control Flow. 38-47
  
• Amelia C. Fong:
  Generalized Common Subexpressions in Very High Level Languages. 48-57
  
• Robert Paige, Jacob T. Schwartz:
  Reduction in Strength of High Level Operations. 58-71
• Ken Kennedy, Linda Zucconi:
  Applications of Graph Grammar for Program Control Flow Analysis. 72-85
  
• Anton Nijholt:
  On the Covering of Left Recursive Grammars. 86-96
  
• Charles N. Fischer, D. R. Milton, S. B. Quiring:
  An Efficient Insertion-Only Error-Corrector for LL(1) Parsers. 97-103
  
• John H. Reif, Harry R. Lewis:
  Symbolic Evaluation and the Global Value Graph. 104-118
  
• Jeffrey M. Barth:
  An Interprocedural Data Flow Analysis Algorithm. 119-131
  
• Norihisa Suzuki, Kiyoshi Ishihata:
  Implementation of an Array Bound Checker. 132-143
  
• Nachum Dershowitz, Zohar Manna:
  The Evolution of Programs: A System for Automatic Program Modification. 144-154
  
• Thomas W. Doeppner Jr.:
  Parallel Program Correctness Through Refinement. 155-169
  
• Alan J. Demers:
  Generalized Left Corner Parsing. 170-182
  
• Eljas Soisalon-Soininen:
  Elimination of Single Productions from LR Parsers in Conjunction with the Use of Default Reductions. 183-193
  
• Vaughan R. Pratt:
  The Competence/Performance Dichotomy in Programming. 194-200
  
• Eric C. R. Hehner:
  Structuring. 201-205
  
• Richard A. DeMillo, Richard J. Lipton, Alan J. Perlis:
  Social Processes and Proofs of Theorems and Programs. 206-214
  
• Gérard Berry, Jean-Jacques Lévy:
  Minimal and Optimal Computations of Recursive Programs. 215-226
  
• Bernard Lang:
  Threshold Evaluation and the Semantics of Call by Value, Assignment and Generic Procedures. 227-237
  
• Patrick Cousot, Radhia Cousot:
  Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. 238-252
  
• Harry R. Lewis:
  The Equivalence Problem for Program Schemata with Nonintersecting Loops. 253-266
  
• Russell R. Atkinson, Carl Hewitt:
  Parallelism and Synchronization in Actor Systems. 267-280