Path: utzoo!censor!geac!torsqnt!news-server.csri.toronto.edu!cs.utexas.edu!usc!apple!agate!ucbvax!cs.hull.ac.uk!rst
From: rst@cs.hull.ac.uk (Rob Turner)
Newsgroups: comp.theory
Subject: "Models of Computation" course syllabus
Message-ID: <18679.9011131440@olympus.cs.hull.ac.uk>
Date: 13 Nov 90 14:40:55 GMT
Sender: daemon@ucbvax.BERKELEY.EDU
Lines: 25


We are trying to quickly put together a syllabus for a course entitled

    "Models of Computation"

It will include discussions of the various programming language
paradigms, such as imperative, functional, logic, and object-oriented.
It will also deal with semantics.

Does anyone have any opinions about what should go into this course,
and are there any books which cover all the areas I mentioned above.
In particular, books should have adequate discussions of operational
semantics, which seems to be largely ignored in many of the books I
have seen in favour of denotational and axiomatic semantics (why?).

Thanks in advance

Rob

------------------------------------------------------------------
Robert Turner                      |   rst@cs.hull.ac.uk
Department of Computer Science     |
University of Hull                 | "In every real man a child is
Hull HU6 7RX                       |  hidden that wants to play"
England                            |  - Nietzsche