Conference Record of the 14th Annual Symposium on Principles of Programming Languages
POPL, 1987.

@proceedings{POPL-1987,
	acmid         = "41625",
	address       = "Munich, Germany",
	isbn          = "0-89791-215-2",
	publisher     = "{ACM Press}",
	title         = "{Conference Record of the 14th Annual Symposium on Principles of Programming Languages}",
	year          = 1987,
}

Contents (29 items)

6 ×#semantics
5 ×#concurrent
3 ×#named
3 ×#parallel
3 ×#strict
2 ×#abstract interpretation
2 ×#abstraction
2 ×#analysis
2 ×#compilation
2 ×#logic programming

POPL-1987-MannaP #concurrent #source code #specification #verification

Specification and Verification of Concurrent Programs By Forall-Automata (ZM, AP), pp. 1–12.

POPL-1987-HerlihyW #axiom #concurrent

Axioms for Concurrent Objects (MH, JMW), pp. 13–26.

POPL-1987-WidomGS #network #proving

Completeness and Incompleteness of Trace-Based Network Proof Systems (JW, DG, FBS), pp. 27–38.

POPL-1987-Jouvelot #abstract interpretation #parallel #semantics

Semantic Parallelization: A Practical Exercise in Abstract Interpretation (PJ), pp. 39–48.

POPL-1987-Saraswat #concurrent #logic programming #programming language #semantics

The Concurrent Logic Programming Language CP: Definition and Operational Semantics (VAS), pp. 49–62.

POPL-1987-AllenCK #automation #composition #execution #parallel #source code

Automatic Decomposition of Scientific Programs for Parallel Execution (RA, DC, KK), pp. 63–76.

POPL-1987-KohlbeckerW #metaprogramming #named #specification

Macro-by-Example: Deriving Syntactic Transformations from their Specifications (EEK, MW), pp. 77–84.

POPL-1987-CaiP #design #performance

Binding Performance at Language Design Time (JC, RP), pp. 85–97.

POPL-1987-GelernterJL

Environments as First Class Objects (DG, SJ, TL), pp. 98–110.

POPL-1987-JaffarL #constraints #logic programming

Constraint Logic Programming (JJ, JLL), pp. 111–119.

POPL-1987-Nielson #abstract interpretation #analysis #strict

Strictness Analysis and Denotational Abstract Interpretation (FN), pp. 120–131.

POPL-1987-HallW #compilation #strict

Compiling Strictness into Streams (CVH, DSW), pp. 132–143.

POPL-1987-KuoM #analysis #on the #strict

On Strictness and its Analysis (TMK, PM), pp. 144–155.

POPL-1987-MoshierR #data type #logic

A Logic for Partially Specified Data Structures (MDM, WCR), pp. 156–167.

POPL-1987-Chase #bottom-up #pattern matching

An Improvement to Bottom-up Tree Pattern Matching (DRC), pp. 168–177.

POPL-1987-CaspiPHP #declarative #named #programming

Lustre: A Declarative Language for Programming Synchronous Systems (PC, DP, NH, JP), pp. 178–188.

POPL-1987-AptFK #distributed #programming

Appraising Fairness in Languages for Distributed Programming (KRA, NF, SK), pp. 189–198.

POPL-1987-Stark #concurrent #network #process #semantics

Concurrent Transition System Semantics of Process Networks (EWS), pp. 199–210.

POPL-1987-Oles #concurrent #semantics

Semantics for Concurrency without Powerdomains (FJO), pp. 211–222.

POPL-1987-HuizingGR #abstraction #realtime #semantics

Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language (CH, RG, WPdR), pp. 223–237.

POPL-1987-TannenM

Computable Values Can Be Classical (VT, ARM), pp. 238–245.

POPL-1987-LeivantF

Skinny and Fleshy Failures of Relative Completeness (DL, TF), pp. 246–252.

POPL-1987-MeyerMMS #polymorphism #λ-calculus

Empty Types in Polymorphic λ Calculus (ARM, JCM, EM, RS), pp. 253–262.

POPL-1987-BernsteinJR #parallel #scheduling

Scheduling Arithmetic and Load Operations in Parallel with No Spilling (DB, JMJ, MR), pp. 263–273.

POPL-1987-NeirynckPD #alias #set

Computation of Aliases and Support Sets (AN, PP, AJD), pp. 274–283.

POPL-1987-LeeP #compilation #generative #semantics

A Realistic Compiler Generator Based on High-Level Semantics (PL, UFP), pp. 284–295.

POPL-1987-CheritonW #multi #programming language

Extensions for Multi-Module Records in Conventional Programming Languages (DRC, MEW), pp. 296–306.

POPL-1987-Wadler #abstraction #named #pattern matching

Views: A Way for Pattern Matching to Cohabit with Data Abstraction (PW), pp. 307–313.

POPL-1987-FelleisenF #calculus #higher-order

A Calculus for Assignments in Higher-Order Languages (MF, DPF), pp. 314–325.