4. POPL 1977:
Los Angeles, California, USA
Edmund M. Clarke
: Programming Language Constructs for Which it is Impossible to Obtain "Good" Hoare-Like Axiom Systems.
William H. Harrison
: A New Strategy for Code Generation - The General Purpose Optimizing Compiler.
Amelia C. Fong
: Generalized Common Subexpressions in Very High Level Languages.
: Elimination of Single Productions from LR Parsers in Conjunction with the Use of Default Reductions.
: Threshold Evaluation and the Semantics of Call by Value, Assignment and Generic Procedures.
, Radhia Cousot
: Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints.
Harry R. Lewis
: The Equivalence Problem for Program Schemata with Nonintersecting Loops.