Alfred V. Aho, Stephen N. Zilles, Thomas G. Szymanski
Conference Record of the Fifth Annual Symposium on Principles of Programming Languages
POPL, 1978.

@proceedings{POPL-1978,
	acmid         = "512760",
	address       = "Tucson, Arizona, USA",
	editor        = "Alfred V. Aho and Stephen N. Zilles and Thomas G. Szymanski",
	publisher     = "{ACM Press}",
	title         = "{Conference Record of the Fifth Annual Symposium on Principles of Programming Languages}",
	year          = 1978,
}

Contents (27 items)

4 ×#compilation
3 ×#algorithm
3 ×#automation
2 ×#analysis
2 ×#concurrent
2 ×#data flow
2 ×#data type
2 ×#fault
2 ×#linear
2 ×#logic

POPL-1978-GuibasW #compilation #evaluation

Compilation and Delayed Evaluation in APL (LJG, DKW), pp. 1–8.

POPL-1978-Ingalls #programming

The Smalltalk-76 Programming System (DI), pp. 9–16.

POPL-1978-AshcroftW #named

Clauses: Scope Structures and Defined Functions in Lucid (EAA, WWW), pp. 17–22.

POPL-1978-DemersDS #data type #encapsulation #morphism #polymorphism

Data Types as Values: Polymorphism, Type-Checking, Encapsulation (AJD, JED, GS), pp. 23–30.

POPL-1978-Solomon #parametricity

Type Definitions with Parameters (MHS), pp. 31–38.

POPL-1978-Reynolds

Syntactic Control of Interference (JCR), pp. 39–46.

POPL-1978-Rosen #agile #analysis #data flow #monad

Monoids for Rapid Data Flow Analysis (BKR), pp. 47–59.

POPL-1978-KaplanU #automation

A General Scheme for the Automatic Inference of Variable Types (MAK, JDU), pp. 60–75.

POPL-1978-Reif #analysis #linear #programming

Symbolic Programming Analysis in Almost Linear Time (JHR), pp. 76–83.

POPL-1978-CousotH #automation #linear

Automatic Discovery of Linear Restraints Among Variables of a Program (PC, NH), pp. 84–96.

POPL-1978-Johnson #compilation #theory and practice

A Portable Compiler: Theory and Practice (SCJ), pp. 97–104.

POPL-1978-German #automation #fault #proving #runtime

Automating Proofs of the Absence of Common Runtime Errors (SMG), pp. 105–118.

POPL-1978-GordonMMNW #interactive #metalanguage #proving

A Metalanguage for Interactive Proof in LCF (MJCG, RM, LM, MCN, CPW), pp. 119–130.

POPL-1978-CartwrightO #hoare #logic #strict

Unrestricted Procedure Calls in Hoare’s Logic (RC, DCO), pp. 131–140.

POPL-1978-NelsonO #algorithm #performance

A Simplifier Based on Efficient Decision Algorithms (CGN, DCO), pp. 141–150.

POPL-1978-Oppen #data type #reasoning #recursion

Reasoning about Recursively Defined Data Structures (DCO), pp. 151–157.

POPL-1978-DowneySS #algorithm #online

Off-Line and On-Line Algorithms for Deducing Equalities (PJD, HS, RS), pp. 158–170.

POPL-1978-Mizell #aspect-oriented #concurrent #design #verification

Verification and Design Aspects of “True” Concurrency (DWM), pp. 171–175.

POPL-1978-Culik #parallel

Almost Control-Free (Indeterministic) Parallel Computation on Permit Schemes (KC), pp. 176–184.

POPL-1978-OgdenRR #complexity #concurrent

Complexity of Expressions Allowing Concurrency (WFO, WER, WCR), pp. 185–194.

POPL-1978-Haraldsson #compilation #lisp

A Partial Evaluator, Its Use for Compiling Iterative Statements in Lisp (AH), pp. 195–202.

POPL-1978-HarelP #logic #nondeterminism #source code

Nondeterminism in Logics of Programs (DH, VRP), pp. 203–213.

POPL-1978-Kosinki #data flow #semantics #source code

A Straightforward Denotational Semantics for Non-Determinant Data Flow Programs (PRK), pp. 214–221.

POPL-1978-PrabhalaS #performance

Efficient Computation of Expressions with Common Subexpressions (BP, RS), pp. 222–230.

POPL-1978-GlanvilleG #code generation #compilation

A New Method for Compiler Code Generation (RSG, SLG), pp. 231–240.

POPL-1978-PennelloD #algorithm #fault #lr

A Forward Move Algorithm for LR Error Recovery (TJP, FD), pp. 241–254.

POPL-1978-JoshiLY #constraints #programming language #semantics #syntax

Local Constraints in the Syntax and Semantics of Programming Languages (AKJ, LSL, KY), pp. 255–264.