## Conference record of the Fifth Annual ACM Symposium on Principles of Programming Languages: papers presented at the Symposium, Tucson, Arizona, January 23-25, 1978 |

### What people are saying - Write a review

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

### Contents

FIFTH ANNUAL ACM SYMPOSIUM | 1 |

The Smalltalk76 programming system | 9 |

scope structures and defined functions in LUCID | 17 |

Copyright | |

23 other sections not shown

### Common terms and phrases

abstract ALGOL 60 algorithm analysis applied argument arithmetic array assertions assignment axioms binary relation clause compiler Computer Science cond constraints construct context context-free context-free grammar context-free languages coroutine corresponding data flow data structures data types declaration defined definition denote dominator element equality equivalence class equivalence relation error example execution expression finite formula function given global grammar graph IDEF implementation induction initial input instruction integer interpretation invariant iteration labelled Lemma linear logic loop machine mapping monoid node operands operations optimization output parameters parser parsing partial evaluation Pascal path polyhedron predicates Principles of Programming Programming Languages proof RANGE:LEFT recursive represented result rule satisfiability program semantics semilattice sequence SETQ simple simplifier Smalltalk stack stack machines statement string subexpressions symbol Theorem theory tion tnat transformation tree true updates valid value number variables vector verifier vertex vertices