• Free eBooks
  • Concepts, Techniques, and Models of Computer Programming by Peter Van Roy, Seif Haridi

Concepts, Techniques, and Models of Computer Programming by Peter Van Roy, Seif Haridi

 
0.0 (0)
25
1085

Ebook Details

Author
Peter Van Roy, Seif Haridi
Publisher
The MIT Press 2004
ISBN/ASIN
0262220695
ISBN-13
9780262220699
Size
3.4MB
Format
PDF
Number of pages
939

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.

Related Ebooks

TeX for the Impatient by Paul Abrahams, Kathryn Hargreaves, Karl Berry
 
0.0 (0)
Author: Paul Abrahams, Kathryn Hargreaves, Karl Berry
TEX for the Impatient is a handbook that arose from the need to help technical writers learn TEX more quickly -- and once having learned it, to find fast...
Learn Ruby The Hard Way by Zed A. Shaw
 
0.0 (0)
Author: Zed A. Shaw
The free book assumes absolutely no prior programming knowledge and will guide you carefully and slowly through the learning process.
Programming Vertex, Geometry, and Pixel Shaders by Wolfgang Engel, et al.
 
0.0 (0)
Author: Wolfgang Engel, et al.
This practical reference covers all of the advanced rendering techniques important for graphics programmers in the game and film industries, and will help them implement these techniques efficiently with...
More Math Into LaTeX by George Grätzer
 
0.0 (0)
Author: George Grätzer
This is the fourth edition of the standard introductory text and complete reference for scientists in all disciplines, as well as engineers.
Learn C The Hard Way by Zed A. Shaw
 
0.0 (0)
Author: Zed A. Shaw
Tweets About Twits by Frederick Meekins
 
0.0 (0)
Author: Frederick Meekins
Git Magic by Ben Lynn
 
0.0 (0)
Author: Ben Lynn
Evolved to Win by Moshe Sipper
 
0.0 (0)
Author: Moshe Sipper
Moshe Sipper and his group have produced a plethora of award-winning results, in numerous games of diverse natures, evidencing the success and efficiency of evolutionary algorithms in general. ...
Stochastic Attribute-Value Grammars by Rob Malouf, Miles Osborne
 
0.0 (0)
Author: Rob Malouf, Miles Osborne
This one-week course will provide an introduction to the maximum entropy principle and the construction of maximum entropy models for natural language processing. 
Outlook 2010 by Stephen Moffat
 
0.0 (0)
Author: Stephen Moffat
The Hudson Book by Manfred Moser, Tim O'Brien
 
0.0 (0)
Author: Manfred Moser, Tim O'Brien
Making TeX Work by NormanWalsh
 
0.0 (0)
Author: NormanWalsh
Perceptual Coding of Digital Audio by Ted Painter, Andreas Spanias
 
0.0 (0)
Author: Ted Painter, Andreas Spanias
Google Beyond google by Varinder Taprial, Priya Kanwar
 
0.0 (0)
Author: Varinder Taprial, Priya Kanwar

User reviews

There are no user reviews for this listing.
Ratings
Rate this Ebook
Comments