Cider - Shop now
Buy used:
$68.93
FREE delivery Thursday, May 8 to Nashville 37217. Details
Or fastest delivery Saturday, May 3. Details
Used: Acceptable | Details
Sold by -Bookworm-
Condition: Used: Acceptable
Comment: Readable copy. May contain markings/highlighting, stains, bent corners, or any other major defect.
Access codes and supplements are not guaranteed with used items.
Kindle app logo image

Download the free Kindle app and start reading Kindle books instantly on your smartphone, tablet, or computer - no Kindle device required.

Read instantly on your browser with Kindle for Web.

Using your mobile phone camera - scan the code below and download the Kindle app.

QR code to download the Kindle App

Follow the author

Something went wrong. Please try your request again later.

Concepts, Techniques, and Models of Computer Programming First Edition

4.3 out of 5 stars 36 ratings

Teaching the science and the technology of programming as a unified discipline that shows the deep relationships between programming paradigms.

This innovative text presents computer programming as a unified discipline in a way that is both practical and scientifically sound. The book focuses on techniques of lasting value and explains them precisely in terms of a simple abstract machine. The book presents all major programming paradigms in a uniform framework that shows their deep relationships and how and where to use them together. After an introduction to programming concepts, the book presents both well-known and lesser-known computation models ("programming paradigms"). Each model has its own set of techniques and each is included on the basis of its usefulness in practice. The general models include declarative programming, declarative concurrency, message-passing concurrency, explicit state, object-oriented programming, shared-state concurrency, and relational programming. Specialized models include graphical user interface programming, distributed programming, and constraint programming. Each model is based on its kernel language—a simple core language that consists of a small number of programmer-significant elements. The kernel languages are introduced progressively, adding concepts one by one, thus showing the deep relationships between different models. The kernel languages are defined precisely in terms of a simple abstract machine. Because a wide variety of languages and programming paradigms can be modeled by a small set of closely related kernel languages, this approach allows programmer and student to grasp the underlying unity of programming. The book has many program fragments and exercises, all of which can be run on the Mozart Programming System, an Open Source software package that features an interactive incremental development environment.

Editorial Reviews

From the Inside Flap

"This is a fascinating book. It's been almost 20 years since Abelson and Sussman revolutionized the teaching of computer science with their Structure and Interpretation of Computer Programs. In all that time, there have been several books (some of them quite good) following SICP's ideas pretty closely, and of course many books following the old pedagogy in which the details of a programming language are the focus, with few deep ideas. But this is the first book I've seen that focuses on big ideas and multiple paradigms, as SICP does, but chooses a very different core model (declarative programming) the first real intellectual competition to Abelson and Sussman. I wouldn't have made all the choices Van Roy and Haridi have made, but I learned a lot from reading this book, and I hope it gets a wide audience." --Brian Harvey, Lecturer, Computer Science Division, University of California, Berkeley

"This book follows in the fine tradition of Abelson/Sussman and Kamin's book on interpreters, but goes well beyond them, covering functional and Smalltalk-like languages as well as more advanced concepts in concurrent programming, distributed programming, and some of the finer points of C++ and Java." --Peter Norvig, Google Inc.

About the Author

Peter Van Roy is Professor in the Department of Computing Science and Engineering at Université catholique de Louvain, at Louvain-la-Neuve, Belgium.

Seif Haridi is Professor of Computer Systems in the Department of Microelectronics and Information Technology at the Royal Institute of Technology, Sweden, and Chief Scientific Advisor of the Swedish Institute of Computer Science.

Product details

  • Publisher ‏ : ‎ The MIT Press; First Edition (February 20, 2004)
  • Language ‏ : ‎ English
  • Hardcover ‏ : ‎ 936 pages
  • ISBN-10 ‏ : ‎ 0262220695
  • ISBN-13 ‏ : ‎ 978-0262220699
  • Reading age ‏ : ‎ 18 years and up
  • Grade level ‏ : ‎ 12 and up
  • Item Weight ‏ : ‎ 4.4 pounds
  • Dimensions ‏ : ‎ 10.18 x 7.9 x 1.97 inches
  • Customer Reviews:
    4.3 out of 5 stars 36 ratings

About the author

Follow authors to get new release updates, plus improved recommendations.
Peter Van-Roy
Brief content visible, double tap to read full content.
Full content visible, double tap to read brief content.

Discover more of the author’s books, see similar authors, read book recommendations and more.

Customer reviews

4.3 out of 5 stars
36 global ratings

Review this product

Share your thoughts with other customers

Top reviews from the United States

  • Reviewed in the United States on August 23, 2011
    I love this book so much, I'm buying it again. After having spent years reading it on and off, and working every problem, I've managed to wear out the spine. Since I intend to continue to work with Oz, the fascinating language that is used as the main example, I'm going to get myself a fresh copy!

    Before I read this book, I had already been blown away by Scheme, C++, ML, and Haskell. I had studied Java, C#, Ruby, Perl, and a smattering of Lisp, Prolog, Erlang, and historical languages. I thought I knew just about everything about programming languages, and just wanted to learn more about constraint programming. But I found that every chapter of this book, even the ones on paradigms I thought I knew well, was fascinating.

    Much of the book is concerned with dataflow programming, which is a refreshing and clever addition to functional programming that works very well with concurrency. I learned a lot about different forms of concurrency, and the tradeoffs between analyzability and expressiveness. The exercises on transactions were illuminating, and relational (logic) programming suddenly makes a lot more sense.

    My only regret is that the chapter on constraint programming is a bare introduction. After the thorough coverage of other topics, I was left wanting to know more.

    I will also point out that some of the code is a bit terse, doing a little too much in too little space, with too-simple variable names, often single letters. I suspect this may have been done to fit code samples on the page. I'd like to see longer, more clearly explained versions posted on the web site. The authors were ambitions with the scope of the book, so it's hard to imagine cramming in even more careful explanations. The reader will be rewarded by exploring the exercises, and asking questions on the mailing list.
    29 people found this helpful
    Report
  • Reviewed in the United States on March 29, 2013
    Peter Van Roy has an agenda; it's something like a universal, orthogonal language for discussing the programming paradigms landscape. Oz is his technical-side attempt at that agenda, and CTM is his discourse-side attempt.

    It's not a substitute for SICP or K&R or Code Complete or Pragmatic Programmer or TAPL, but it has things (a nuanced awareness of concurrent logic programming languages, for example) that those do not touch.
    13 people found this helpful
    Report
  • Reviewed in the United States on June 10, 2010
    Ever wondered why it takes so long to pick up your first programming language, when it's C++ or Java? Ever wondered why Object-oriented Programming feels so difficult to get right, even after years of experience?

    This books is an amazing study of various programming paradigms (or models, as the authors call them). It starts with the most minimal features required in a programming language, discusses their impact on how you write small programs and then moves on to bigger concepts.

    Until you've read this book, you might not realise that multi-threaded object-oriented programming is such a powerful model that it can be used to easily write a lot of real-world applications but this power also makes it tough to master the model because of the many ways you can abuse it. The more powerful a model gets, the more difficult it becomes to verify its correctness without additional tools like debuggers, profilers, etc.

    Most importantly, this book can teach you two important things:

    * Multi-paradigm programming is more natural (i.e. easier to understand and model real-world concepts in) than 'pure' programming
    * Use the least powerful model that can solve the problem at hand naturally (i.e. you don't end up writing a lot of code to work around the model's limitations)

    A third thing that they don't enumerate but imply quite obviously is a program design methodology that involves writing large parts of the application using a less powerful and more deterministic model, while harnessing the power of more capable models only for those few components of the application that absolutely need them.

    The popular "shared-nothing" architecture for web applications, backed by a concurrent shared-state store (RDBMS, mostly) is one example of such an approach.

    The only shortcomings of this book that I found were the rather difficult installation of Mozart programming environment used to illustrate the book's concepts, and IMHO a shortage of sample problems that illustrated the usage of more advanced models.
    30 people found this helpful
    Report
  • Reviewed in the United States on October 1, 2016
    Great for learning the various paradigms of computer programming languages, like Functional or Object Oriented, but without the typical, dogmatic approach. Instead they build with the declarative model, defining syntax and semantics, and building each new paradigm on top of this to meet new needs, like concurrency.
    5 people found this helpful
    Report
  • Reviewed in the United States on December 30, 2020
    The Oz programming language is ridiculously outdated
    4 people found this helpful
    Report

Top reviews from other countries

Translate all reviews to English
  • sgtd
    5.0 out of 5 stars Ce qu'il me fallait !
    Reviewed in France on April 3, 2018
    Je met 5 étoiles à ce produit car :

    La livraison a été effectué très rapidement ! Certainement grâce à Amazon prime. De plus le colis était intact et très bien protégé par son packaging.

    L'ouvrage m'est d'une très grande utilité, d'autant plus que j'ai le privilège d'avoir un le cours donné par Monsieur Van Roy en personne ! il contient tout ce qu'il y a à savoir sur Oz et la compréhension est assez accessible avec un anglais technique.
    Report
  • Edson Araújo Soares
    5.0 out of 5 stars Great conservation state
    Reviewed in Brazil on September 24, 2023
    The book is in great shape. It was very well packed and arrived in time. It was great to do business and I highly recommend the seller.
  • antarctic
    4.0 out of 5 stars Good techniques, useless language
    Reviewed in India on October 6, 2021
    The authors cover a wide variety of programming concepts like functional programming, logic programming, object-oriented programming, concurrency, etc. The explanation is very clear. However, the language is useless outside of this book. It's supposed to be a research language, but the clunky codebase (Scala+ancient LLVM) goes untouched for long periods of time. The language itself has some weird quirks: the kind of code we write in the emacs development environment is very different from the code we write for standalone programs; it's the clunky semantics of "declare". The examples in the exercises are rather boring. They do the bare minimum to help us learn the programming technique, but I rarely went at them thinking they are going to be fun to solve.
  • Thorsten Laib
    5.0 out of 5 stars Gute Einführung in die Konzepte der Programmiersprachen
    Reviewed in Germany on December 12, 2013
    Das Buch beschreibt alle Programmierparadigmen und behandelt sie mit der frei im Internet verfügbaren Software Mozart / Oz mit einer Programmiersprache. Es vereint also alle Paradigmen in einem Buch bzw. einer Programmiersprache.
  • Amazonカスタマー
    5.0 out of 5 stars ポストSICPと言われている本。
    Reviewed in Japan on December 3, 2011
    この本は、ポストSICPと一部の専門家から言われているものです。内容的にもSICPより出版年数が新しいために、網羅している部分が広いですね(*1)。視野を広げるためには大変よい本というのが第一印象です。SICPほど演習問題の山ってものではないです。いろんな言語がありますけど、それぞれにあった利用方法を理解しやすくなります。その言語に即したプログラミング方法をつかみやすくなるってことです。あとはオートマトンのことを少し知っておくと理解の助けになります。

    さて、この洋書ですが、かなり大きいです。大辞典を持ち歩いてるような感じですからね。英語については、平素ですが900ページ超えですから、それなりの覚悟は必要でしょう。幸い訳書も出てきてますから、英語に自信がないという場合は訳書の方が良いかもしれません。

    この本で採用されているoz/mozart言語はいろんなパラダイムを説明するために作られたような教育用の言語という印象で、慣れてきたら擬似コードを見てるような感じです。少々個性はありますが、さほど負担にはなりません。ただ、oz/mozartを自分のPCにインストールするときは、oz/mozartシステムのIDEの役目を果たしてるemacsが必要だったり、64bit OS(*2)ではインストール後の工夫が必要だったりしますので、インストールが難しいと感じたときはvirtualboxやvmwareのような仮想環境にUbuntu(32bitOS版)をいれて、

    - sudo apt-get install mozart mozart-doc mozart-stdlib

    とターミナルで実行すれば、インストールは何も悩まずに行えます。(emacs同様にインストールする必要がある。)学習する際に一番最初の壁が処理系のインストールというのはよくあることですが、そんな所で無駄に時間を使うのはやめたほうがいいです。あくまでも学習のために利用することになるでしょうからね。

    (*1) concurrencyの説明は充実してる。SICPの出た当時よりか重要度が増してるから詳しくなってるのでしょう。GUIのことも説明されています。
    (*2) linuxの64bit版でしたら、インストール先のplatformディレクトリ(/usr/local/mozart/platform)に移動して sudo ln -s linux-i486 unknown-unknown で動きます。windowsやmacのことは知りません。

    補足情報:
    著者がedx.orgでこの本に関連するコースを2014/2月からはじめるみたいです。”LouvainX Paradigms of Computer Programming” というキーワードで検索して見つけてね。(リンクは貼れなくなったので貼らないです。) どんな授業になるのかなぁ?と思ったので、さらに調べてみたら youtubeのPeter Van Roy氏のチャンネルにコース用の動画らしきものを公開してますね。 oz言語を利用して行ってる点を見るとこの本の解説動画というふうにも捉えることができるでしょう。また、courseraでおこなわれてるMartin Odersky氏(scalaの作者)らがscalaを使った2つ目のコース(Principles of Reactive Programming)でこの本がSuggested Readingsに含まれてますね。