Abstract is missing.
- The Influence of Productions on Derivations and ParsingBenton L. Leong, Detlef Wotschke. 1-11
- A Complexity Theory of Grammar ProblemsHarry B. Hunt III. 12-18
- Code Generation for Expressions with Common SubexpressionsAlfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman. 19-31
- Automatic Generation of Efficient Evaluators for Attribute GrammarsKen Kennedy, Scott K. Warren. 32-49
- Automatic Design of Data Processing SystemsGregory R. Ruth. 50-57
- Techniques for the Automatic Selection of Data StructuresJames R. Low, Paul Rovner. 58-67
- Binding Time Optimization in Programming Languages: Some Thoughts Toward the Design of an Ideal LanguageNeil D. Jones, Steven S. Muchnick. 77-94
- A Lazy EvaluatorPeter Henderson, James H. Morris Jr.. 95-103
- Induction Variables in Very High Level LanguagesAmelia C. Fong, Jeffrey D. Ullman. 104-112
- On Directly Constructing LR(k) Parsers Without Chain ReductionsWilf R. LaLonde. 127-133
- PLAN2D - Syntactic Analysis of Precedence Graph GrammarsReinhold Franck. 134-139
- Program Improvement by Source to Source TransformationDavid B. Loveman. 140-152
- Goal-Directed Program TransformationBen Wegbreit. 153-170
- Primitive Recursive Program TransformationsRobert S. Boyer, J. Strother Moore, Robert E. Shostak. 171-174
- Procedure Referencing Environments in SL5Dianne E. Britton, Frederick C. Druseikis, Ralph E. Griswold, David R. Hanson, Richard A. Holmes. 185-191
- Verifying Formal Specifications of Synchronous ProcessesPatricia P. Griffiths, Charles J. Prenner. 192-208
- Test Data as an Aid in Proving Program CorrectnessMatthew M. Geller. 209-218