John R. Wright, Larry Landweber, Alan J. Demers, Tim Teitelbaum
Conference Record of the 10th Annual Symposium on Principles of Programming Languages
POPL, 1983.

@proceedings{POPL-1983,
	acmid         = "567067",
	address       = "Austin, Texas, USA",
	editor        = "John R. Wright and Larry Landweber and Alan J. Demers and Tim Teitelbaum",
	isbn          = "0-89791-090-7",
	publisher     = "{ACM Press}",
	title         = "{Conference Record of the 10th Annual Symposium on Principles of Programming Languages}",
	year          = 1983,
}

Contents (28 items)

4 ×#polymorphism
3 ×#data flow
3 ×#programming
3 ×#verification
2 ×#abstraction
2 ×#algorithm
2 ×#automation
2 ×#compilation
2 ×#data type
2 ×#dependence

POPL-1983-Pratt #data flow #design #paradigm #programming

Five Paradigm Shifts in Language Design and their Realization in Viron, a Dataflow Programming Environment (VRP), pp. 1–9.

POPL-1983-BonarS #programming

Uncovering Principles of Novice Programming (JB, ES), pp. 10–13.

POPL-1983-Johnson #code generation

Code Generation for Silicon (SCJ), pp. 14–19.

POPL-1983-BackMR #algorithm #graph #performance

Derivation of Efficient DAG Marking Algorithms (RJB, HM, KJR), pp. 20–27.

POPL-1983-Lamport #reasoning

Reasoning About Nonatomic Operations (LL), pp. 28–37.

POPL-1983-Nelson #invariant #reachability #verification

Verifying Reachability Invariants of Linked Structures (GN), pp. 38–47.

POPL-1983-NagleJ #automation #embedded #proving #realtime #verification

Practical Program Verification: Automatic Program Proving for Real-Time Embedded Software (JN, SJ), pp. 48–58.

POPL-1983-DemersD #equation

Making Variables Abstract: An Equational Theory for Russell (AJD, JED), pp. 59–72.

POPL-1983-Paige #algorithm #programming

Transformational Programming — Applications to Algorithms and Systems (RP), pp. 73–87.

POPL-1983-Leivant #polymorphism #type inference

Polymorphic Type Inference (DL), pp. 88–98.

POPL-1983-Lescanne #generative #term rewriting

Computer Experiments with the Reve Term Rewriting System Generator (PL), pp. 99–108.

POPL-1983-Kieburtz #data type #precise #specification #type system

Precise Typing of Abstract Data Type Specifications (RBK), pp. 109–116.

POPL-1983-ClarkeES #approach #automation #concurrent #finite #logic #specification #using #verification

Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications: A Practical Approach (EMC, EAE, APS), pp. 117–126.

POPL-1983-EmersonH #branch #linear

“Sometimes” and “Not Never” Revisited: On Branching Versus Linear Time (EAE, JYH), pp. 127–140.

POPL-1983-MannaP #how #proving

How to Cook a Temporal Proof System for Your Pet Language (ZM, AP), pp. 141–154.

POPL-1983-Leivant83a #data type #polymorphism #semantics

Structural Semantics for Polymorphic Data Types (DL), pp. 155–166.

POPL-1983-Ryder #analysis #data flow #incremental

Incremental Data Flow Analysis (BGR), pp. 167–176.

POPL-1983-AllenKPW #data flow #dependence

Conversion of Control Dependence to Data Dependence (JRA, KK, CP, JDW), pp. 177–189.

POPL-1983-Wand #combinator #compilation

Loops in Combinator-Based Compilers (MW), pp. 190–196.

POPL-1983-CunyS #compilation #data-driven #execution #source code

Compilation of Data-Driven Programs for Synchronous Execution (JEC, LS), pp. 197–202.

POPL-1983-Wegman #graph #regular expression

Summarizing Graphs by Regular Expressions (MNW), pp. 203–216.

POPL-1983-FerranteO #dependence

A Program Form Based on Data Dependency in Predicate Regions (JF, KJO), pp. 217–236.

POPL-1983-LampsonS #polymorphism #using

Practical Use of a Polymorphic Applicative Language (BWL, EES), pp. 237–255.

POPL-1983-Wegner #abstraction #ada #on the #unification

On the Unification of Data and Program Abstraction in Ada (PW), pp. 256–264.

POPL-1983-Meertens #incremental #polymorphism #type checking

Incremental Polymorphic Type Checking in B (LGLTM), pp. 265–275.

POPL-1983-Strom #security

Mechanisms for Compile-Time Enforcement of Security (RES), pp. 276–284.

POPL-1983-KristensenMMN #abstraction #programming language

Abstraction Mechanisms in the BETA Programming Language (BBK, OLM, BMP, KN), pp. 285–298.

POPL-1983-Minsky #locality

Locality in Software Systems (NHM), pp. 299–312.