## 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 |

### 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

abstract algorithm allows analysis appear applied argument assignment assume block bool bound calculus collecting compiler component computation congruence consider constant construct contains context continuation copy corresponding defined definition denote dependence dependence graph derivable described edge effect element eliminate equal equations equivalent evaluation example execution expression extended Figure flow function give given graph induction interpretation kind language Lemma logic loop meaning method node normal Note object operations partial path polymorphic possible presented problem procedure Programming Languages proof properties prove rank record reduction redundant region relation represent requires respect result rules Science semantics sequence simple standard statement step structure substitution subtyping terminate Theorem theory tion transformation tree University variables variant

### 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.