Abstract is missing.
- A Complete and Consistent Hoare Semantics for a Simple Programming LanguageJohn C. Cherniavsky, Samuel N. Kamin. 1-9
- Programming Language Constructs for Which it is Impossible to Obtain Good Hoare-Like Axiom SystemsEdmund M. Clarke. 10-20
- Code Generation for Machines with Multiregister OperationsAlfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman. 21-28
- A New Strategy for Code Generation - The General Purpose Optimizing CompilerWilliam H. Harrison. 29-37
- Applications of High-Level Control FlowBarry K. Rosen. 38-47
- Generalized Common Subexpressions in Very High Level LanguagesAmelia C. Fong. 48-57
- Reduction in Strength of High Level OperationsRobert Paige, Jacob T. Schwartz. 58-71
- Applications of Graph Grammar for Program Control Flow AnalysisKen Kennedy, Linda Zucconi. 72-85
- On the Covering of Left Recursive GrammarsAnton Nijholt. 86-96
- An Efficient Insertion-Only Error-Corrector for LL(1) ParsersCharles N. Fischer, D. R. Milton, S. B. Quiring. 97-103
- Symbolic Evaluation and the Global Value GraphJohn H. Reif, Harry R. Lewis. 104-118
- Implementation of an Array Bound CheckerNorihisa Suzuki, Kiyoshi Ishihata. 132-143
- The Evolution of Programs: A System for Automatic Program ModificationNachum Dershowitz, Zohar Manna. 144-154
- Parallel Program Correctness Through RefinementThomas W. Doeppner Jr.. 155-169
- Generalized Left Corner ParsingAlan J. Demers. 170-182
- Elimination of Single Productions from LR Parsers in Conjunction with the Use of Default ReductionsEljas Soisalon-Soininen. 183-193
- The Competence/Performance Dichotomy in ProgrammingVaughan R. Pratt. 194-200
- StructuringEric C. R. Hehner. 201-205
- Social Processes and Proofs of Theorems and ProgramsRichard A. DeMillo, Richard J. Lipton, Alan J. Perlis. 206-214
- Minimal and Optimal Computations of Recursive ProgramsG. Berry, J. J. Levy. 215-226
- Threshold Evaluation and the Semantics of Call by Value, Assignment and Generic ProceduresBernard Lang. 227-237
- Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of FixpointsPatrick Cousot, Radhia Cousot. 238-252
- The Equivalence Problem for Program Schemata with Nonintersecting LoopsHarry R. Lewis. 253-266
- Parallelism and Synchronization in Actor SystemsRussell R. Atkinson, Carl Hewitt. 267-280