Ken Kennedy, Mary S. Van Deusen, Larry Landweber
Conference Record of the 11th Annual Symposium on Principles of Programming Languages
POPL, 1984.

@proceedings{POPL-1984,
	acmid         = "800017",
	address       = "Salt Lake City, Utah, USA",
	editor        = "Ken Kennedy and Mary S. Van Deusen and Larry Landweber",
	isbn          = "0-89791-125-3",
	publisher     = "{ACM Press}",
	title         = "{Conference Record of the 11th Annual Symposium on Principles of Programming Languages}",
	year          = 1984,
}

Contents (32 items)

3 ×#implementation
3 ×#named
3 ×#performance
3 ×#programming
3 ×#semantics
2 ×#algol
2 ×#compilation
2 ×#data type
2 ×#equation
2 ×#functional

POPL-1984-Waters

Expressional Loops (RCW), pp. 1–10.

POPL-1984-Ossher #graph #named

Grids: A New Program Structuring Mechanism Based on Layered Graphs (HO), pp. 11–22.

POPL-1984-Smith #lisp #semantics

Reflection and Semantics in Lisp (BCS), pp. 23–35.

POPL-1984-RepsA #interactive #proving

Interactive Proof Checking (TWR, BA), pp. 36–45.

POPL-1984-FrancezK #termination

Generalized Fair Termination (NF, DK), pp. 46–53.

POPL-1984-ShashaPE #network #protocol #verification

Temporal Verification of Carrier-Sense Local Area Network Protocols (DS, AP, WE), pp. 54–65.

POPL-1984-Myers #data type #performance

Efficient Applicative Data Types (EWM), pp. 66–75.

POPL-1984-Thiel #data type #semistructured data #specification

Stop Losing Sleep Over Incomplete Data Type Specifications (JJT), pp. 76–82.

POPL-1984-JouannaudK #equation #set

Completion of a Set of Rules Modulo a Set of Equations (JPJ, HK), pp. 83–92.

POPL-1984-Shapiro #concurrent #programming #prolog

Systems Programming in Concurrent Prolog (EYS), pp. 93–105.

POPL-1984-Bandes #programming language

Constraining-Unification and the Programming Language Unicorn (RGB), pp. 106–110.

POPL-1984-HoffmannO #equation #implementation #interpreter

Implementation of an Interpreter for Abstract Equations (CMH, MJO), pp. 111–121.

POPL-1984-HudakK #combinator #compilation #functional

A Combinator-Based Compiler for a Functional Language (PH, DAK), pp. 122–132.

POPL-1984-SchwarzR #code generation #named

Treat — An Applicative Code Generator (JSS, DR), pp. 133–139.

POPL-1984-Wilhelm #attribute grammar

Inverse Currying Transformation on Attribute Grammars (RW), pp. 140–147.

POPL-1984-RaoultS

The Global Storage Needs of a Subcomputation (JCR, RS), pp. 148–157.

POPL-1984-Wand #morphism #polymorphism #semantics

A Types-as-Sets Semantics for Milner-Style Polymorphism (MW), pp. 158–164.

POPL-1984-MacQueenPS #polymorphism #recursion

An Ideal Model for Recursive Polymorphic Types (DBM, GDP, RS), pp. 165–174.

POPL-1984-Mitchell #type inference

Coercion and Type Inference (JCM), pp. 175–185.

POPL-1984-Nix #editing

Editing by Example (RPN), pp. 186–195.

POPL-1984-MilosPL #compilation #implementation #pascal #revisited #specification

Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited (DM, UFP, GL), pp. 196–207.

POPL-1984-Sherman #abstraction #named #novel

Paragon: Novel Uses of Type Hierarchies for Data Abstraction (MS), pp. 208–217.

POPL-1984-Johnson #design #programming

Applicative Programming and Digital Design (SDJ), pp. 218–227.

POPL-1984-SubrahmanyamY #evaluation #functional #lazy evaluation #logic programming #reduction #source code

Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs (PAS, JHY), pp. 228–234.

POPL-1984-MishraK #source code #static analysis

Static Inference of Properties of Applicative Programs (PM, RMK), pp. 235–244.

POPL-1984-HalpernMT #question #semantics #what

The Semantics of Local Storage, or What Makes the Free-List Free? (JYH, ARM, BAT), pp. 245–257.

POPL-1984-Grabowski #logic #on the #programming

On Relative Completeness of Programming Logics (MG), pp. 258–261.

POPL-1984-Halpern #algol #axiom #hoare

A Good Hoare Axiom System for an Algol-like Language (JYH), pp. 262–271.

POPL-1984-Warren #order

A Hierarchical Basis for Reordering Transformations (JDW), pp. 272–282.

POPL-1984-Murtagh #algol #memory management

A Less Dynamic Memory Allocation Scheme for Algol-like Languages (TPM), pp. 283–289.

POPL-1984-SuzukiT #object-oriented #performance

Creating Efficient Systems for Object-Oriented Languages (NS, MT), pp. 290–296.

POPL-1984-DeutschS #implementation #performance

Efficient Implementation of the Smalltalk-80 System (LPD, AMS), pp. 297–302.