Re: Kamin: Programing Languages - An Interpreter-Based Approach - Article 789 - go-pugleaf

Article View: comp.lang.misc

Article #789

Re: Kamin: Programing Languages - An Interpreter-Based Approach

#789

From: Richard Pattis
Date: Sun, 14 Jan 1990 04:18

5 lines
691 bytes

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

Technical Details

Message-ID: <10369@june.cs.washington.edu>

Path: arc1-ca.pugleaf.net!utzoo!utgpu!jarvis.csri.toronto.edu!mailrus!cornell!uw-beaver!uw-june!pattis

References: <10367@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: <10369@june.cs.washington.edu>
Date: 14 Jan 90 04:18:25 GMT
References: <10367@june.cs.washington.edu>
Organization: U of Washington, Computer Science, Seattle
Lines: 5
Keywords: Interpreters
Summary: Details on the other two books

Reply to Parent Message