Article View: comp.lang.misc
Article #790Re: Kamin: Programing Languages - An Interpreter-Based Approach
From: Richard Pattis
Date: Sun, 14 Jan 1990 05:42
Date: Sun, 14 Jan 1990 05:42
12 lines
956 bytes
956 bytes
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
Technical Details
Message-ID:
<10371@june.cs.washington.edu>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cornell!uw-beaver!uw-june!pattisReferences:
<10367@june.cs.washington.edu> <10369@june.cs.washington.edu>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cornell!uw-beaver!uw-june!pattis From: pattis@cs.washington.edu (Richard Pattis) Newsgroups: comp.lang.misc Subject: Re: Kamin: Programing Languages - An Interpreter-Based Approach Message-ID: <10371@june.cs.washington.edu> Date: 14 Jan 90 05:42:18 GMT References: <10367@june.cs.washington.edu> <10369@june.cs.washington.edu> Organization: U of Washington, Computer Science, Seattle Lines: 12 Keywords: Interpreters Summary: Correction