[ANN] 'Concepts, Techniques, and Models' book available

From: Peter Van Roy (pvr_at_info.ucl.ac.be)
Date: 03/16/04 

Date: 16 Mar 2004 09:16:59 -0800

The programming textbook 'Concepts, Techniques, and Models of
Computer Programming' is finally available from MIT Press and Web
bookstores as a real book. The book gives a view of programming
that is both broad and deep. Yet it is both simple and practical.
We try hard to explain everything in the simplest possible way, but
without sacrificing rigor. We have a software system, Mozart, that
can run all the examples. We give the basic principles of sound
language design as we have experienced them, such as separating
semantics from syntax, and basing the design on a simple kernel
language extended with linguistic abstractions. The book is based
on the work of many people, researchers and developers with a
common vision, who have been collaborating on language design
and implementation since the late 1980s.

See http://www.info.ucl.ac.be/people/PVR/book.html for more
information. We have been teaching courses with drafts of the
book since 2001; the Web site has a full set of course materials.

Peter Van Roy

Relevant Pages

  • Re: Matrix
    ... in one of his essays on language design: ... There is one thing more important than brevity to a hacker: ... articulated tool like a programming language. ... because that's what a struct is supposed to mean. ...
    (comp.lang.ruby)
  • Re: forth in forth
    ... >environment also makes the Forth community look frivolous ... there is a Forth standard. ... Programming language design and implementation is ...
    (comp.lang.forth)
  • Re: Function definitions are not permitted at the prompt or in
    ... Claribel wrote: ... on programming or use the index or the search feature just as you would a real book. ...
    (comp.soft-sys.matlab)