POPL 1976

20 papers

1. A Complexity Theory of Grammar Problems · Harry B. Hunt III
2. A Lazy Evaluator · Peter Henderson, James H. Morris Jr.
3. A Methodology for Lisp Program Construction from Examples · Phillip D. Summers
4. An Algorithm for Structuring Programs · Brenda S. Baker
5. Automatic Design of Data Processing Systems · Gregory R. Ruth
6. Automatic Generation of Efficient Evaluators for Attribute Grammars · Ken Kennedy, Scott K. Warren
7. Binding Time Optimization in Programming Languages: Some Thoughts Toward the Design of an Ideal Language · Neil D. Jones, Steven S. Muchnick
8. Code Generation for Expressions with Common Subexpressions · Alfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman
9. Goal-Directed Program Transformation · Ben Wegbreit
10. Induction Variables in Very High Level Languages · Amelia C. Fong, Jeffrey D. Ullman
11. Mathematical Semantics and Data Flow Programming · Paul R. Kosinski
12. On Directly Constructing LR(k) Parsers Without Chain Reductions · Wilf R. LaLonde
13. PLAN2D - Syntactic Analysis of Precedence Graph Grammars · Reinhold Franck
14. Primitive Recursive Program Transformations · Robert S. Boyer, J Strother Moore, Robert E. Shostak
15. Procedure Referencing Environments in SL5 · Dianne E. Britton, Frederick C. Druseikis, Ralph E. Griswold, David R. Hanson, Richard A. Holmes
16. Program Improvement by Source to Source Transformation · David B. Loveman
17. Techniques for the Automatic Selection of Data Structures · James R. Low, Paul Rovner
18. Test Data as an Aid in Proving Program Correctness · Matthew M. Geller
19. The Influence of Productions on Derivations and Parsing · Benton L. Leong, Detlef Wotschke
20. Verifying Formal Specifications of Synchronous Processes · Patricia P. Griffiths, Charles J. Prenner