Conference Record of the Eighth Annual 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

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

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

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.

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.