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.
FIFTH ANNUAL ACM SYMPOSIUM
The Smalltalk76 programming system
scope structures and defined functions in LUCID
23 other sections not shown
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