Mary S. Van Deusen, Bernard Lang
Conference Record of the 20th Annual Symposium on Principles of Programming Languages
POPL, 1993.

@proceedings{POPL-1993,
	acmid         = "158511",
	address       = "Charleston, South Carolina, USA",
	editor        = "Mary S. Van Deusen and Bernard Lang",
	isbn          = "0-89791-560-7",
	publisher     = "{ACM Press}",
	title         = "{Conference Record of the 20th Annual Symposium on Principles of Programming Languages}",
	year          = 1993,
}

Contents (43 items)

5 ×#analysis
5 ×#polymorphism
5 ×#source code
4 ×#morphism
4 ×#parametricity
3 ×#continuation
3 ×#graph
3 ×#logic programming
3 ×#multi
3 ×#parallel

POPL-1993-Snir #architecture #modelling #parallel #programming #scalability

Computer Architectures and Programming Models for Scalable Parallel Computing (MS), p. 1.

POPL-1993-MaydanAL #analysis #array #data flow

Array Data-Flow Analysis and its Use in Array Privatization (DEM, SPA, MSL), pp. 2–15.

POPL-1993-ChatterjeeGST #array #automation #source code

Automatic Array Alignment in Data-Parallel Programs (SC, JRG, RS, SHT), pp. 16–28.

POPL-1993-NingG #framework #novel #pipes and filters

A Novel Framework of Register Allocation for Software Pipelining (QN, GRG), pp. 29–42.

POPL-1993-OderskyRH #call-by #λ-calculus

Call by Name, Assignment, and the λ Calculus (MO, DR, PH), pp. 43–56.

POPL-1993-WeeksF #algol #on the #orthogonal

On the Orthogonality of Assignments and Procedures in Algol (SW, MF), pp. 57–70.

POPL-1993-JonesW #functional #imperative #programming

Imperative Functional Programming (SLPJ, PW), pp. 71–84.

POPL-1993-BerryRS #communication #process

Communicating Reactive Processes (GB, SR, RKS), pp. 85–98.

POPL-1993-OhoriK #communication #polymorphism #semantics

Semantics for Communication Primitives in an Polymorphic Language (AO, KK), pp. 99–112.

POPL-1993-DoligezL #concurrent #garbage collection #implementation #ml #parallel #thread

A Concurrent, Generational Garbage Collector for a Multithreaded Implementation of ML (DD, XL), pp. 113–123.

POPL-1993-LawallD #continuation

Separating Stages in the Continuation-Passing Style Transformation (JLL, OD), pp. 124–136.

POPL-1993-Wand #analysis #correctness #specification

Specifying the Correctness of Binding-Time Analysis (MW), pp. 137–143.

POPL-1993-Launchbury #evaluation #lazy evaluation #semantics

A Natural Semantics for Lazy Evaluation (JL), pp. 144–154.

POPL-1993-Reynolds #logic #morphism #parametricity #polymorphism #tutorial

An Introduction to Logical Relations and Parametric Polymorphism — Tutorial (JCR), pp. 155–156.

POPL-1993-AbadiCC #morphism #parametricity #polymorphism

Formal Parametric Polymorphism (MA, LC, PLC), pp. 157–170.

POPL-1993-OHearnT #parametricity #relational

Relational Parametricity and Local Variables (PWO, RDT), pp. 171–184.

POPL-1993-ReickeS #algebra #reasoning

Algebraic Reasoning and Completeness in Typed Languages (JGR, RS), pp. 185–195.

POPL-1993-KlarlundS #graph

Graph Types (NK, MIS), pp. 196–205.

POPL-1993-HarperL #continuation #morphism #polymorphism

Explicit Polymorphism and CPS Conversion (RH, ML), pp. 206–219.

POPL-1993-Leroy #continuation #morphism #polymorphism

Polymorphism by Name for References and Continuations (XL), pp. 220–231.

POPL-1993-ChoiBC #alias #interprocedural #performance #pointer

Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects (JDC, MGB, PRC), pp. 232–245.

POPL-1993-YiH #analysis #automation #generative #interprocedural

Automatic Generation and Management of Interprocedural Program Analyses (KY, WLHI), pp. 246–259.

POPL-1993-SrinivasanHW #parallel #source code

Static Single Assignment for Explicitely Parallel Programs (HS, JH, MW), pp. 260–272.

POPL-1993-Lakhotia #dependence #graph #multi #using

Constructing Call Multigraphs Using Dependence Graphs (AL), pp. 273–284.

POPL-1993-Bruce #object-oriented #programming language #static typing #type checking

Safe Type Checking in a Statically-Typed Object-Oriented Programming Language (KBB), pp. 285–298.

POPL-1993-PierceT #object-oriented #programming #recursion

Object-Oriented Programming without Recursive Types (BCP, DNT), pp. 299–312.

POPL-1993-Mairson #logic #multi #type system

A Constructive Logic of Multiple Subtyping (HGM), pp. 313–324.

POPL-1993-Leivant #complexity #functional #source code

Stratified Functional Programs and Computational Complexity (DL), pp. 325–333.

POPL-1993-MarriottS #constraints #logic programming #optimisation #order #refinement #source code

The 3 R’s of Optimizing Constraint Logic Programs: Refinement, Removal and Reordering (KM, PJS), pp. 334–344.

POPL-1993-Clergerie #framework

Layer Sharing: An Improved Structure-Sharing Framework (EVdlC), pp. 345–358.

POPL-1993-BossiB #difference #logic programming

Differential Logic Programming (AB, MB, MG, GL, MCM), pp. 359–370.

POPL-1993-Adl-TabatabaiG #debugging #interactive

Evicted Variables and the Interaction of Global Register Allocation and Symbolic Debugging (ARAT, TRG), pp. 371–383.

POPL-1993-BatesH #dependence #graph #incremental #testing #using

Incremental Program Testing Using Program Dependence Graphs (SB, SH), pp. 384–396.

POPL-1993-DhamdhereK #analysis #bidirectional #complexity #data flow

Complexity of Bidirectional Data Flow Analysis (DMD, UPK), pp. 397–408.

POPL-1993-NipkowP #type checking

Type Checking Type Classes (TN, CP), pp. 409–418.

POPL-1993-KozenPS #performance #recursion #type system

Efficient Recursive Subtyping (DK, JP, MIS), pp. 419–428.

POPL-1993-Gay #algorithm #π-calculus

A Sort Inference Algorithm for the Polyadic π-Calculus (SJG), pp. 429–438.

POPL-1993-ShaoA

Smartest Recompilation (ZS, AWA), pp. 439–450.

POPL-1993-CodishDG #analysis #composition #logic programming #source code

Compositional Analysis of Modular Logic Programs (MC, SKD, RG), pp. 451–464.

POPL-1993-Aponte #parametricity #type system

Extending Record Typing to Type Parametric Modules with Sharing (MVA), pp. 465–478.

POPL-1993-LeeF #multi

Quasi-Static Scoping: Sharing Variable Bindings Across Multiple Lexical Scopes (SDL, DPF), pp. 479–492.

POPL-1993-ConselD #partial evaluation #tutorial

Tutorial Notes on Partial Evaluation (CC, OD), pp. 493–501.

POPL-1993-RamalingamR #incremental #overview

A Categorized Bibliography on Incremental Computation (GR, TWR), pp. 502–510.