Conference Record of the 20th 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

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

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

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.

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.