John White, Richard J. Lipton, Patricia C. Goldberg
Conference Record of the Eighth Annual Symposium on Principles of Programming Languages
POPL, 1981.

@proceedings{POPL-1981,
	acmid         = "567532",
	address       = "Williamsburg, Virginia, USA",
	editor        = "John White and Richard J. Lipton and Patricia C. Goldberg",
	isbn          = "0-89791-029-X",
	publisher     = "{ACM Press}",
	title         = "{Conference Record of the Eighth Annual Symposium on Principles of Programming Languages}",
	year          = 1981,
}

Contents (23 items)

4 ×#optimisation
3 ×#compilation
2 ×#attribute grammar
2 ×#development
2 ×#logic
2 ×#problem
2 ×#verification

POPL-1981-Lowney #array

Carrier Arrays: An Idiom-Preserving Extension to APL (PGL), pp. 1–13.

POPL-1981-CartwrightHM #named #pointer

Paths: An Abstract Alternative to Pointers (RC, RH, PM), pp. 14–27.

POPL-1981-RamanathanS #development #modelling #problem

Modeling of Problem Domains for Driving Program Development Systems (JR, CJS), pp. 28–40.

POPL-1981-Scherlis

Program Improvement by Internal Specialization (WLS), pp. 41–49.

POPL-1981-Chandra #database #programming

Programming Primitives for Database Languages (AKC), pp. 50–62.

POPL-1981-Condry

Paging as a “Language Processing” Task (MWC), pp. 63–76.

POPL-1981-Owicki #garbage collection

Making the World Safe for Garbage Collection (SSO), pp. 77–86.

POPL-1981-Harrison #compilation #optimisation

Position Paper on Optimizing Compilers (WHH), pp. 88–89.

POPL-1981-Johnson #compilation #optimisation

Position Paper on Optimizing Compilers (SCJ), pp. 90–91.

POPL-1981-AlbergaBLMW #development

A Program Development Tool (CNA, ALB, GBLJ, MM, MNW), pp. 92–104.

POPL-1981-DemersRT #attribute grammar #editing #incremental

Incremental Evaluation for Attribute Grammars with Application to Syntax-Directed Editors (AJD, TWR, TT), pp. 105–116.

POPL-1981-Rosen #linear #polynomial

Linear Cost is Sometimes Quadratic (BKR), pp. 117–124.

POPL-1981-Cartwright #testing

Formal Program Testing (RC), pp. 125–132.

POPL-1981-LehmannR #distributed #on the #problem #symmetry

On the Advantages of Free Choice: A Symmetric and Fully Distributed Solution to the Dining Philosophers Problem (DJL, MOR), pp. 133–138.

POPL-1981-HalpernM #axiom #programming language

Axiomatic Definitions of Programming Languages, II (JYH, ARM), pp. 139–148.

POPL-1981-Polak #semantics #verification

Program Verification Based on Denotational Semantics (WP), pp. 149–158.

POPL-1981-Pratt #decidability #logic

Program Logic Without Binding is Decidable (VRP), pp. 159–163.

POPL-1981-Ben-AriMP #branch #logic

The Temporal Logic of Branching Time (MBA, ZM, AP), pp. 164–176.

POPL-1981-KatayamaH #attribute grammar #verification

Verification of Attribute Grammars (TK, YH), pp. 177–186.

POPL-1981-Suzuki #smalltalk

Inferring Types in Smalltalk (NS), pp. 187–199.

POPL-1981-Hennessy #exception #optimisation

Program Optimization and Exception Handling (JLH), pp. 200–206.

POPL-1981-KuckKPLW #compilation #dependence #graph #optimisation

Dependence Graphs and Compiler Optimizations (DJK, RHK, DAP, BL, MW), pp. 207–218.

POPL-1981-Myers #algorithm #data flow #interprocedural #precise

A Precise Interprocedural Data Flow Algorithm (EWM), pp. 219–230.