Mary S. Van Deusen, Zvi Galil, Brian K. Reid
Conference Record of the 12th Annual Symposium on Principles of Programming Languages
POPL, 1985.

@proceedings{POPL-1985,
	acmid         = "318593",
	address       = "New Orleans, Louisiana, USA",
	editor        = "Mary S. Van Deusen and Zvi Galil and Brian K. Reid",
	isbn          = "0-89791-147-4",
	publisher     = "{ACM Press}",
	title         = "{Conference Record of the 12th Annual Symposium on Principles of Programming Languages}",
	year          = 1985,
}

Contents (30 items)

4 ×#specification
3 ×#code generation
3 ×#incremental
3 ×#semantics
2 ×#alias
2 ×#approach
2 ×#branch
2 ×#compilation
2 ×#concurrent
2 ×#functional

POPL-1985-Wand #semantics

Embedding Type Structure in Semantics (MW), pp. 1–6.

POPL-1985-MishraR #type checking

Declaration-Free Type Checking (PM, USR), pp. 7–21.

POPL-1985-Cartwright

Types as Intervals (RC), pp. 22–36.

POPL-1985-MitchellP #data type

Abstract Types Have Existential Type (JCM, GDP), pp. 37–51.

POPL-1985-FutatsugiGJM

Principles of OBJ2 (KF, JAG, JPJ, JM), pp. 52–66.

POPL-1985-SannellaT #development #ml #specification #standard

Program Specification and Development in Standard ML (DS, AT), pp. 67–77.

POPL-1985-Lamport #concurrent #specification #what #why

What It Means for a Concurrent Program to Satisfy a Specification: Why No One Has Specified Priority (LL), pp. 78–83.

POPL-1985-EmersonL #branch #model checking

Modalities for Model Checking: Branching Time Strikes Back (EAE, CLL), pp. 84–96.

POPL-1985-LichtensteinP #concurrent #finite #linear #source code #specification

Checking That Finite State Concurrent Programs Satisfy Their Linear Specification (OL, AP), pp. 97–107.

POPL-1985-HalpernWWW #semantics

Denotational Semantics and Rewrite Rules for FP (JYH, JHW, ELW, TCW), pp. 108–120.

POPL-1985-NguyenGO #network #process #proving

A Model and Temporal Proof System for Networks of Processes (VN, DG, SSO), pp. 121–131.

POPL-1985-Leivant #imperative #logic #reasoning #source code

Logical and Mathematical Reasoning about Imperative Programs (DL), pp. 132–140.

POPL-1985-JohnsonF #attribute grammar #editing #incremental #metalanguage

A Meta-Language and System for Nonlocal Incremental Attribute Evaluation in Language-Based Editors (GFJ, CNF), pp. 141–151.

POPL-1985-PollockS #compilation #incremental

Incremental Compilation of Locally Optimized Code (LLP, MLS), pp. 152–164.

POPL-1985-FordS #approach #code generation #incremental

A Greedy Approach to Incremental Code Generation (RF, DS), pp. 165–178.

POPL-1985-FerranteM #on the #parallel

On Linearizing Parallel Code (JF, MM), pp. 179–189.

POPL-1985-AnantharamanCFM #compilation

Compiling Path Expressions into VLSI Circuits (TSA, EMC, MJF, BM), pp. 191–204.

POPL-1985-LamportS #alias #approach #constraints #named #type system

Constraints: A Uniform Approach to Aliasing and Typing (LL, FBS), pp. 205–216.

POPL-1985-FraserH #low level

High-Level Language Facilities for Low-Level Services (CWF, DRH), pp. 217–224.

POPL-1985-JonesRT #distributed #interface #named #specification

Matchmaker: An Interface Specification Language for Distributed Processing (MBJ, RFR, MRT), pp. 225–235.

POPL-1985-TichyB

Smart Recompilation (WFT, MCB), pp. 236–244.

POPL-1985-FriedmanH

Constraining Control (DPF, CTH), pp. 245–254.

POPL-1985-PadgetF

Closurize and Concentrate (JAP, JF), pp. 255–265.

POPL-1985-Lindstrom #functional #logic #programming

Functional Programming and the Logical Variable (GL), pp. 266–280.

POPL-1985-Cooper #alias #parametricity

Analyzing Aliases of Reference Formal Parameters (KDC), pp. 281–290.

POPL-1985-WegmanZ #branch #constant

Constant Propagation with Conditional Branches (MNW, FKZ), pp. 291–299.

POPL-1985-HudakB #functional #problem #programming

The Aggregate Update Problem in Functional Programming Systems (PH, AB), pp. 300–314.

POPL-1985-Appel #code generation #semantics

Semantics-Directed Code Generation (AWA), pp. 315–324.

POPL-1985-BernsteinPR #memory management #parallel #scheduling

Optimal Scheduling of Arithmetic Operations in Parallel with Memory Accesses (DB, RYP, MR), pp. 325–333.

POPL-1985-AhoG #code generation #pattern matching #performance

Efficient Tree Pattern Matching: An Aid to Code Generation (AVA, MG), pp. 334–340.