Susan L. Graham, Robert M. Graham, Michael A. Harrison, William I. Grosky, Jeffrey D. Ullman
Conference Record of the Third Symposium on Principles of Programming Languages
POPL, 1976.

@proceedings{POPL-1976,
	acmid         = "800168",
	address       = "Atlanta, Georgia, USA",
	editor        = "Susan L. Graham and Robert M. Graham and Michael A. Harrison and William I. Grosky and Jeffrey D. Ullman",
	publisher     = "{ACM Press}",
	title         = "{Conference Record of the Third Symposium on Principles of Programming Languages}",
	year          = 1976,
}

Contents (20 items)

3 ×#automation
2 ×#design
2 ×#parsing
2 ×#program transformation

POPL-1976-LeongW #parsing

The Influence of Productions on Derivations and Parsing (BLL, DW), pp. 1–11.

POPL-1976-Hunt #complexity #problem

A Complexity Theory of Grammar Problems (HBHI), pp. 12–18.

POPL-1976-AhoJU #code generation

Code Generation for Expressions with Common Subexpressions (AVA, SCJ, JDU), pp. 19–31.

POPL-1976-KennedyW #attribute grammar #automation #generative #performance

Automatic Generation of Efficient Evaluators for Attribute Grammars (KK, SKW), pp. 32–49.

POPL-1976-Ruth #automation #design

Automatic Design of Data Processing Systems (GRR), pp. 50–57.

POPL-1976-LowR #automation #data type

Techniques for the Automatic Selection of Data Structures (JRL, PR), pp. 58–67.

POPL-1976-Summers #lisp

A Methodology for Lisp Program Construction from Examples (PDS), pp. 68–76.

POPL-1976-JonesM #design #optimisation #programming language #towards

Binding Time Optimization in Programming Languages: Some Thoughts Toward the Design of an Ideal Language (NDJ, SSM), pp. 77–94.

POPL-1976-HendersonM #lazy evaluation

A Lazy Evaluator (PH, JHMJ), pp. 95–103.

POPL-1976-FongU #induction

Induction Variables in Very High Level Languages (ACF, JDU), pp. 104–112.

POPL-1976-Baker #algorithm #source code

An Algorithm for Structuring Programs (BSB), pp. 113–126.

POPL-1976-LaLonde #lr #on the #parsing #reduction

On Directly Constructing LR(k) Parsers Without Chain Reductions (WRL), pp. 127–133.

POPL-1976-Franck #2d #analysis #graph grammar #named #precedence

PLAN2D — Syntactic Analysis of Precedence Graph Grammars (RF), pp. 134–139.

POPL-1976-Loveman #text-to-text

Program Improvement by Source to Source Transformation (DBL), pp. 140–152.

POPL-1976-Wegbreit #program transformation

Goal-Directed Program Transformation (BW), pp. 153–170.

POPL-1976-BoyerMS #program transformation #recursion

Primitive Recursive Program Transformations (RSB, JSM, RES), pp. 171–174.

POPL-1976-Kosinski #data flow #programming #semantics

Mathematical Semantics and Data Flow Programming (PRK), pp. 175–184.

POPL-1976-BrittonDGHH

Procedure Referencing Environments in SL5 (DEB, FCD, REG, DRH, RAH), pp. 185–191.

POPL-1976-GriffithsP #process #specification #verification

Verifying Formal Specifications of Synchronous Processes (PPG, CJP), pp. 192–208.

POPL-1976-Geller #correctness #proving #testing

Test Data as an Aid in Proving Program Correctness (MMG), pp. 209–218.