4. POPL 1977: Los Angeles, California

Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, January 1977.

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