3. POPL 1976: Atlanta, Georgia

Conference Record of the Third ACM Symposium on Principles of Programming Languages, Atlanta, Georgia, January 1976.

Benton L. Leong, Detlef Wotschke: The Influence of Productions on Derivations and Parsing. 1-11 BibTeX
Harry B. Hunt III: A Complexity Theory of Grammar Problems. 12-18 BibTeX
Alfred V. Aho, Stephen C. Johnson, Jeffrey D. Ullman: Code Generation for Expressions with Common Subexpressions. 19-31 BibTeX
Ken Kennedy, Scott K. Warren: Automatic Generation of Efficient Evaluators for Attribute Grammars. 32-49 BibTeX
Gregory R. Ruth: Automatic Design of Data Processing Systems. 50-57 BibTeX
James R. Low, Paul Rovner: Techniques for the Automatic Selection of Data Structures. 58-67 BibTeX
Phillip D. Summers: A Methodology for Lisp Program Construction from Examples. 68-76 BibTeX
Neil D. Jones, Steven S. Muchnick: Binding Time Optimization in Programming Languages: Some Thoughts Toward the Design of an Ideal Language. 77-94 BibTeX
Peter Henderson, James H. Morris Jr.: A Lazy Evaluator. 95-103 BibTeX
Amelia C. Fong, Jeffrey D. Ullman: Induction Variables in Very High Level Languages. 104-112 BibTeX
Brenda S. Baker: An Algorithm for Structuring Programs. 113-126 BibTeX
Wilf R. LaLonde: On Directly Constructing LR(k) Parsers Without Chain Reductions. 127-133 BibTeX
Reinhold Franck: PLAN2D - Syntactic Analysis of Precedence Graph Grammars. 134-139 BibTeX
David B. Loveman: Program Improvement by Source to Source Transformation. 140-152 BibTeX
Ben Wegbreit: Goal-Directed Program Transformation. 153-170 BibTeX
Robert S. Boyer, J. Strother Moore, Robert E. Shostak: Primitive Recursive Program Transformations. 171-174 BibTeX
Paul R. Kosinski: Mathematical Semantics and Data Flow Programming. 175-184 BibTeX
Dianne E. Britton, Frederick C. Druseikis, Ralph E. Griswold, David R. Hanson, Richard A. Holmes: Procedure Referencing Environments in SL5. 185-191 BibTeX
Patricia P. Griffiths, Charles J. Prenner: Verifying Formal Specifications of Synchronous Processes. 192-208 BibTeX
Matthew M. Geller: Test Data as an Aid in Proving Program Correctness. 209-218 BibTeX