BOOK Concepts, Techniques, and Models of Computer Programming

Authors: Peter van Roy and Seif Haridi

Publisher: MIT Press

Publication date: 2004

ISBN: 0-262-22069-5

Pages: 904

Websites: http://www2.info.ucl.ac.be/people/PVR/book.html http://mitpress.mit.edu/0262220695 http://www.amazon.com/exec/obidos/tg/detail/-/0262220695?v=glance

NEM: An interesting book that covers a wide range of topics using modern programming language features available in the Mozart/Oz language. Topics covered include:

• Declarative Programming, including Functional Programming and Logic Programming;
• Lazy evaluation (as in Haskell);
• Higher-order programming;
• Concurrency concepts including declarative concurrency (based on dataflow variables);
• Message-passing concurrency;
• Object-oriented programming;
• Shared state concurrency;
• Relational programming and databases;
• GUI programming (using a toolkit based on Tk);
• Distributed programming;
• Constraint programming;
• Syntax and parsing;
• Formal semantics of programming languages (touching on operation, denotational, and logical semantics).

While there is no direct connection to Tcl, I'd recommend this book as a good general computer science textbook. In particular, the discussions of how to combine programming paradigms in a single language (something Tcl excels at) and techniques for managing concurrency are well worth a read (although event-driven programming is somewhat neglected). Makes a good modern companion to SICP.