pattis@cs.washington.edu (Richard Pattis) (01/14/90)
Just out from Addison-Wesley. ISBN 0-201-06824-9. $38.95 (Tower Books) An introduction to various languages and programming paradigms integrated by discussing interpreters (full code in Pascal supplied in appendix and FTPable) that implement them. Chapters: The Basic Interpreter, LISP, APL, Scheme, SASL, CLU, Smalltalk, Prolog, Compilation, Memory Management. Rich Pattis PS: On the same trip I picked up Manna's and Waldinger's volume II, and a new book on predicates and programming by Dijkstra and Schoten.
pattis@cs.washington.edu (Richard Pattis) (01/14/90)
Dijkstra, Scholten: Predicate Calculus and Program Semantics, Sprintger-Verlag, ISBN 0-3-96957-8 Manna, Waldinger: The Logical Basis for Computer Programming II, Addison-Wesley, ISBN 0-201-18261-0
pattis@cs.washington.edu (Richard Pattis) (01/14/90)
In article <10369@june.cs.washington.edu>, pattis@cs.washington.edu (Richard Pattis) writes: > Dijkstra, Scholten: Predicate Calculus and Program Semantics, > Sprintger-Verlag, ISBN 0-3-96957-8 > > Manna, Waldinger: The Logical Basis for Computer Programming II, > Addison-Wesley, ISBN 0-201-18261-0 First book should be: Springer-Verlag, ISBN 0-387-96957-8. I posted this informatin because I started getting lots of requests. Rich Pattis