Concepts, Techniques, and Models of Computer Programming
P. Van Roy, and S. Haridi.
MIT Press, (March 2004)

This textbook is designed for second-year courses up to graduate courses in computer programming. It covers all major programming concepts, techniques, and paradigms in a unified framework. It is based on the kernel language approach, in which programming languages are defined in terms of their underlying concepts. The textbook defines a wide variety of programming languages and paradigms with a small set of closely-related kernel languages. The kernel languages are easy to understand by practicing programmers and have a simple formal semantics that makes it easy to reason about correctness and complexity at a high level of abstraction. The textbook is designed to be used together with the Mozart Programming System.
  • @fparreiras
This publication has not been reviewed yet.

rating distribution
average user rating0.0 out of 5.0 based on 0 reviews
    Please log in to take part in the discussion (add own reviews or comments).