Conference Record of the Third Symposium on Principles of Programming Languages
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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.

PLT
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.