Robert M. Graham, Michael A. Harrison, Ravi Sethi
Conference Record of the Fourth Symposium on Principles of Programming Languages
POPL, 1977.

@proceedings{POPL-1977,
	acmid         = "512950",
	address       = "Los Angeles, California, USA",
	editor        = "Robert M. Graham and Michael A. Harrison and Ravi Sethi",
	publisher     = "{ACM}",
	title         = "{Conference Record of the Fourth Symposium on Principles of Programming Languages}",
	year          = 1977,
}

Contents (25 items)

4 ×#source code
3 ×#parsing
2 ×#analysis
2 ×#code generation
2 ×#control flow
2 ×#evaluation
2 ×#hoare
2 ×#parallel
2 ×#performance
2 ×#programming language

POPL-1977-CherniavskyK #consistency #hoare #programming language #semantics

A Complete and Consistent Hoare Semantics for a Simple Programming Language (JCC, SNK), pp. 1–9.

POPL-1977-Clarke #axiom #hoare #programming language

Programming Language Constructs for Which it is Impossible to Obtain “Good” Hoare-Like Axiom Systems (EMC), pp. 10–20.

POPL-1977-AhoJU #code generation #multi

Code Generation for Machines with Multiregister Operations (AVA, SCJ, JDU), pp. 21–28.

POPL-1977-Harrison #code generation #compilation #optimisation

A New Strategy for Code Generation — The General Purpose Optimizing Compiler (WHH), pp. 29–37.

POPL-1977-Rosen #control flow

Applications of High-Level Control Flow (BKR), pp. 38–47.

POPL-1977-Fong

Generalized Common Subexpressions in Very High Level Languages (ACF), pp. 48–57.

POPL-1977-PaigeS #reduction

Reduction in Strength of High Level Operations (RP, JTS), pp. 58–71.

POPL-1977-KennedyZ #analysis #control flow #graph grammar

Applications of Graph Grammar for Program Control Flow Analysis (KK, LZ), pp. 72–85.

POPL-1977-Nijholt #on the #recursion

On the Covering of Left Recursive Grammars (AN), pp. 86–96.

POPL-1977-FischerMQ #ll #parsing #performance

An Efficient Insertion-Only Error-Corrector for LL(1) Parsers (CNF, DRM, SBQ), pp. 97–103.

POPL-1977-ReifL #evaluation #graph #symbolic computation

Symbolic Evaluation and the Global Value Graph (JHR, HRL), pp. 104–118.

POPL-1977-Barth #algorithm #analysis #data flow #interprocedural

An Interprocedural Data Flow Analysis Algorithm (JMB), pp. 119–131.

POPL-1977-SuzukiI #array #bound #implementation

Implementation of an Array Bound Checker (NS, KI), pp. 132–143.

POPL-1977-DershowitzM #automation #evolution #source code

The Evolution of Programs: A System for Automatic Program Modification (ND, ZM), pp. 144–154.

POPL-1977-Doeppner #correctness #parallel #refinement

Parallel Program Correctness Through Refinement (TWDJ), pp. 155–169.

POPL-1977-Demers #parsing

Generalized Left Corner Parsing (AJD), pp. 170–182.

POPL-1977-Soisalon-Soininen #lr #parsing #reduction #using

Elimination of Single Productions from LR Parsers in Conjunction with the Use of Default Reductions (ESS), pp. 183–193.

POPL-1977-Pratt #performance #programming

The Competence/Performance Dichotomy in Programming (VRP), pp. 194–200.

POPL-1977-Hehner

Structuring (ECRH), pp. 201–205.

POPL-1977-DeMilloLP #process #proving #social #source code #theorem

Social Processes and Proofs of Theorems and Programs (RAD, RJL, AJP), pp. 206–214.

POPL-1977-BerryL #recursion #source code

Minimal and Optimal Computations of Recursive Programs (GB, JJL), pp. 215–226.

POPL-1977-Lang #call-by #evaluation #semantics

Threshold Evaluation and the Semantics of Call by Value, Assignment and Generic Procedures (BL), pp. 227–237.

POPL-1977-CousotC #abstract interpretation #approximate #fixpoint #source code #static analysis

Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints (PC, RC), pp. 238–252.

POPL-1977-Lewis #equivalence #problem

The Equivalence Problem for Program Schemata with Nonintersecting Loops (HRL), pp. 253–266.

POPL-1977-HewittA #parallel

Parallelism and Synchronization in Actor Systems (RRA, CH), pp. 267–280.