Jeanne Ferrante, P. Mager
Conference Record of the 15th Annual Symposium on Principles of Programming Languages
POPL, 1988.

@proceedings{POPL-1988,
	acmid         = "73560",
	address       = "San Diego, California, USA",
	editor        = "Jeanne Ferrante and P. Mager",
	isbn          = "0-89791-252-7",
	publisher     = "{ACM Press}",
	title         = "{Conference Record of the 15th Annual Symposium on Principles of Programming Languages}",
	year          = 1988,
}

Contents (28 items)

6 ×#analysis
5 ×#source code
2 ×#continuation
2 ×#data flow
2 ×#ml
2 ×#semantics
2 ×#type system

POPL-1988-AlpernWZ #detection #similarity #source code

Detecting Equality of Variables in Programs (BA, MNW, FKZ), pp. 1–11.

POPL-1988-RosenWZ

Global Value Numbers and Redundant Computations (BKR, MNW, FKZ), pp. 12–27.

POPL-1988-MitchellH #ml

The Essence of ML (JCM, RH), pp. 28–46.

POPL-1988-LucassenG #polymorphism

Polymorphic Effect Systems (JML, DKG), pp. 47–57.

POPL-1988-KfouryTU #effectiveness #ml

A Proper Extension of ML with an Effective Type-Assignment (AJK, JT, PU), pp. 58–69.

POPL-1988-Cardelli #type system

Structural Subtyping and the Notion of Power Type (LC), pp. 70–79.

POPL-1988-Kamin #inheritance

Inheritance in Smalltalk-80: A Denotational Definition (SNK), pp. 80–87.

POPL-1988-Stansifer #type inference #type system

Type Inference with Subtypes (RS), pp. 88–97.

POPL-1988-NielsonN #analysis #automation #λ-calculus

Automatic Binding Time Analysis for a Typed λ-Calculus (HRN, FN), pp. 98–106.

POPL-1988-HudakY

A Collecting Interpretation of Expressions (Without Powerdomains) (PH, JY), pp. 107–118.

POPL-1988-Wadler #analysis #strict

Strictness Analysis Aids Time Analysis (PW), pp. 119–132.

POPL-1988-HorwitzPR #source code

Integrating Non-Interfering Versions of Programs (SH, JP, TWR), pp. 133–145.

POPL-1988-HorwitzPR88a #dependence #graph #on the #representation #source code

On the Adequacy of Program Dependence Graphs for Representing Programs (SH, JP, TWR), pp. 146–157.

POPL-1988-JohnsonD #continuation

Stores and Partial Continuations as First-Class Objects in a Language and its Environment (GFJ, DD), pp. 158–168.

POPL-1988-WilliamsW #question

Sacrificing Simplicity for Convenience: Where Do You Draw the Line? (JHW, ELW), pp. 169–179.

POPL-1988-Felleisen #theory and practice

The Theory and Practice of First-Class Prompts (MF), pp. 180–190.

POPL-1988-MeyerS #semantics #towards

Towards Fully Abstract Semantics for Local Variables (ARM, KS), pp. 191–203.

POPL-1988-MontenyohlW #analysis #continuation #semantics

Correct Flow Analysis in Continuation Semantics (MM, MW), pp. 204–218.

POPL-1988-GarlandG #data type #induction #reasoning

Inductive Methods for Reasoning about Abstract Data Types (SJG, JVG), pp. 219–228.

POPL-1988-BloomIM #bisimulation

Bisimulation Can’t Be Traced (BB, SI, ARM), pp. 229–239.

POPL-1988-BougeF #approach #composition

A Compositional Approach to Superimposition (LB, NF), pp. 240–249.

POPL-1988-Vardi #calculus #fixpoint

A Temporal Fixpoint Calculus (MYV), pp. 250–259.

POPL-1988-Debray #analysis #data flow #logic programming #performance #source code

Efficient Dataflow Analysis of Logic Programs (SKD), pp. 260–273.

POPL-1988-CarrollR #analysis #data flow #incremental

Incremental Data Flow Analysis via Dominator and Attribute Updates (MDC, BGR), pp. 274–284.

POPL-1988-RuggieriM #analysis

Lifetime Analysis of Dynamically Allocated Objects (CR, TPM), pp. 285–293.

POPL-1988-Pelegri-LlopartG #code generation

Optimal Code Generation for Expression Trees: An Application of BURS Theory (EPL, SLG), pp. 294–308.

POPL-1988-Lam #array #compilation #optimisation #source code

Compiler Optimizations for Asynchronous Systolic Array Programs (MSL), pp. 309–318.

POPL-1988-IrigoinT #clustering

Supernode Partitioning (FI, RT), pp. 319–329.