Conference Record of the Fifteenth Annual ACM Symposium on Principles of Programming Languages: Papers Presented at the Symposium, San Diego, California, 13-15 January 1988

Front Cover
Pearson Education, 1988 - Computer programming - 329 pages
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

285
4
Global Value Numbers and Redundant Computations
4
The Essence of ML
28
Polymorphic Effect Systems
47
A Proper Extension of ML with an Effective TypeAssignment
58
Structural Subtyping and the Notion of Power Type
70
A Denotational Definition
80
Type Inference with Subtypes
88
Integrating NonInterfering Versions of Programs
133
On the Adequacy of Program Dependence Graphs for Representing Programs
145
Stores and Partial Continuations as FirstClass Objects in a Language and its Environment
158
Where do you draw the line?
169
The Theory and Practice of FirstClass Prompts
180
Preliminary Report
191
Correct Flow Analysis in Continuation Semantics
204
Inductive Methods for Reasoning About Abstract Data Types
219

Automatic Binding Time Analysis for a Typed lcalculus
98
A Collecting Interpretation of Expressions without Powerdomains
107
Strictness Analysis Aids Time Analysis
119
Preliminary Report
229
A Compositional Approach to Superimposition
240
A Temporal Fixpoint Calculus
250

Common terms and phrases

Popular passages

Page 318 - Kung, HT, Ruane, LM, and Yen, DWL, "Two-Level Pipelined Systolic Array for Multidimensional Convolution," Image and Vision Computing, Vol. 1, No. 1, February 1983, pp. 30-36, An improved version appears as a CMU Computer Science Department technical report, November 1982.

Bibliographic information