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
- 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. Berry, J. J. Levy:
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
Copyright © Tue Nov 10 00:05:51 2009
by Michael Ley (ley@uni-trier.de)
