4. POPL 1977: Los Angeles, California, USA
Robert M. Graham, Michael A. Harrison, Ravi Sethi (Eds.): Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977. ACM 1977- 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
- 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
- Jeffrey M. Barth: An Interprocedural Data Flow Analysis Algorithm. 119-131
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team