• 08 Nov 14
  

  daqiang

  Computer&Programming

• 23 Aug 14
  

  David A. Hale

  by Peter Van Roy and Seif Haridi
  A book that covers programming language paradigms by examining characteristics, and combinations thereof. Example code in the multi-paradigm Oz programming language can be found here, along with lecture slides and notes.
  http://www.mozart-oz.org/
  http://mozart.github.io/
  http://www.info.ucl.ac.be/~pvr/cvvanroy.html
  http://www.sics.se/~seif/
  
  The author has a two-part course on edX.
  https://www.edx.org/course/louvainx/louvainx-louv1-1x-paradigms-computer-2751

  programming programming paradigms CS computer science concurrent programming

• 05 May 14
  

  booksites

• 23 Feb 14
  

  ryolyo

  programming functional Books book toread booktoget cs

• 23 Jan 14
  

  enalegre

  programming book languages Books functional programación development libro libros desarrollo dev programacion

• 22 Jan 14
  

  jocirugeda

  programming Books languages education

• 06 Jan 14
  

  carlos puentes

  "Concepts, Techniques, and Models of Computer Programming
  
  Textbook and Reference Work
  
  "

• 07 Dec 13
  

  Jose

  programming Books book languages functional education

• 05 Dec 13
  

  ami koo

  cs programming courses

• 28 Jun 13
  

  sudhakaran packianathan

  A comprehensive programming textbook that covers all important programming paradigms in a unified framework that is both practical and theoretically sound. Special attention is given to concurrent programming and data abstraction. The textbook uses the Oz multiparadigm programming language for its examples.

  books languages programming functional language learning education reference cs

• 13 Sep 12
  

  ousiotic

  languages oz cs

• 26 Jun 12
  

  Lou Oswald Meneses

  computers Computer-related Uncategorized (Computers)

• 04 Jun 12
  

  Chaitanya Gurrapu

  Peter Van Roy

  programming Books book education theory

  •     

    Concepts, Techniques, and Models of Computer Programming 
• 19 May 11
  

  J M

  This textbook brings the computer science student a comprehensive and up-to-date presentation of all major programming concepts, techniques, and paradigms in a unified framework. The textbook is designed for second-year to graduate courses in computer programming. It is also designed for practitioners and researchers: it gives insightful discussions on many topics, reconciles opposing viewpoints, and emphasizes concepts of lasting value. It has the following notable features:
  
  Concurrent programming: The broadest presentation of practical concurrent programming available anywhere. One third of the book is devoted to concurrent programming. All important paradigms are presented, including the three most useful ones: declarative (dataflow) concurrency, message-passing concurrency, and shared-state concurrency.
  Data abstraction: The broadest presentation available anywhere of the different ways to do data abstraction. Pure object-oriented languages use only one way, but we show that there are at least four different ways. Each has its own trade-offs and real-world metaphors. For example, we explain the trade-offs between objects and abstract data types, and how to use polymorphism with both.
  Programming paradigms: The most complete integration of programming paradigms available anywhere. We show that multiparadigm programming is natural and that the conventional boundaries between paradigms are artificial and limiting. We show programming as a unified discipline. We single out the four languages Erlang, Haskell, Java, and Prolog as representative members of important paradigms and situate them within our uniform framework.
  Practicality: A comprehensive presentation of practical programming techniques, illustrated with more than 1000 programs and program fragments. All can be run on the accompanying open source development platform, the Mozart Programming System.
  Formal semantics: A complete and simple formal semantics designed for practicing programmers. It makes it possible to understand programs, to predict behavi

• 30 Apr 11
  

  Bernard Doe

  programming teaching languages

• 24 Mar 11
  

  Alin Cosmanescu
• 21 Mar 11
  

  Rajan Datta

  books programming computer science programming languages

• 20 Dec 10
  

  Magnus Holm

  compsci book concurrency distributing

• 28 Nov 10
  

  compsci textbook mozart algorithm coding theory delicious-imp

• 

  nikerym

  Concepts, Techniques, and Models of Computer Programming

  books

• 27 Nov 10
  

  Wen-Chun Ni

  programming languages book education

• 14 Feb 10
  

  Ben Fitzgerald

  programming toread

• 22 Jan 10
  

  raphinou

  programming book learning toread

• 30 Dec 09
  

  geirive

  _delicious programming language books reference theory

• 12 Dec 09
  

  books oz concurrency distributed erlang haskell functional programming fault tolerance

• 05 Oct 09
  

  Paul Barry

  programming concurrency

• 05 Jul 09
  

  joe phantom

  programming oz books book languages education functional cs

• 29 Jun 09
  

  Leo Horovitz

  programming books oz languages education functional

• 28 Jun 09
  

  Ricardo Lima

  books programming language

• 07 Jun 09
  

  Neal Thomison

  programming lisp education functional textbook delicious

• 27 Apr 09
  

  Sergey Kucherenko

  books cs lisp programming

• 29 Aug 08
  

  Xiyun Ma

  programming books science

• 17 Jun 08
  

  Shi Yuan

  book programming textbook

• 20 May 08
  

  Daniel Jomphe

  ctmcp reference

• 

  rterra
• 21 Jan 08
  

  craig hancock

  algorithm programming book books coding compsci computation computer computer_science education languages cs functional delicious

• 14 Oct 07
  

  ***** books programming

• 27 Sep 07
  

  storm wyrm

  books compsci programming

• 22 Aug 07
  

  Gjm GLing

  A comprehensive programming textbook that covers all important programming paradigms in a unified framework that is both practical and theoretically sound. Special attention is given to concurrent programming and data abstraction.

  programming theory oz books CTM shortcut:CTM

• 21 Aug 07
  

  Bez Thomas

  book compsci coding programming reference toread

• 20 Aug 07
  

  Rob Crowther

  Books Development FunctionalProgramming

• 24 Jul 07
  

  Timo Tuominen

  gradu kirjat programming book oz languages education functional

• 25 Jun 07
  

  mptsk .

  books books:toread computer science concurrency cs design programming languages

• 06 Apr 07
  

  Alan

  Concepts, Techniques, and Models of Computer Programming

  book books compiler computer computer-science computerscience computing concurrency cs design dev education languages learning lisp MIT mozart programming reference science technology toBuy wishlist functional oz

• 02 Apr 07
  

  Avinash Meetoo

  Textbook and Reference Work by Peter Van Roy and Seif Haridi

  book computer concurrency design education functional languages learning programming mozart technology computerscience compiler

• 26 Mar 07
  

  Frank Colcord

  Ruby

• 01 Mar 07
  

  Haofei Wang

  mozart

  • 
• 31 Dec 06
  

  Peter Eddy

  programming functional lisp

• 21 Dec 06
  

  Derek A.

  programming Language education

• 29 Nov 06
  

  varkas

  oz programming

• 

  Travis B Hartwell

  book programming reference textbooks

• 11 Nov 06
  

  kamyar

  books ***** programming

• 20 Sep 06
  

  Xiaozhe Wang

  mit book programming language oz

• 01 Sep 06
  

  onceuponapriori

  01092006 programming languages

• 14 Aug 06
  

  eterps

  book

Page Comments

• 
  Haofei Wang on 2007-03-01
  OZ language used in this book.
  

Would you like to comment?

Join Diigo for a free account, or sign in if you are already a member.