Contact The MIT Press Information on how to order from The MIT Press Access your saved shopping cart, e-mail list subscriptions, order history, address book, and other info in the Your Profile area MIT Press Home Page


March 2004
8 x 10, 930 pp., 249 illus.
$73.00/£38.95 (CLOTH)
Text

ISBN-10:
0-262-22069-5
ISBN-13:
978-0-262-22069-9

Related Links
Open this site in a new browser window.
Authors' WebsiteOpen this site in a new browser window.
Find this book in a library
Request Exam/Desk Copy
< BACK
Concepts, Techniques, and Models of Computer Programming
Peter Van Roy and Seif Haridi

Prefacexiii
Running the Example Programsxxix
1.Introduction to Programming Concepts
Download Chapter as PDF Sample Chapter - Download PDF (345 KB)
1
I.GENERAL COMPUTATION MODELS27
2.Declarative Computation Model29
3.Declarative Programming Techniques111
4.Declarative Concurrency233
5.Message-Passing Concurrency345
6.Explicit State405
7.Object-Oriented Programming489
8.Shared-State Concurrency569
9.Relational Programming621
II.SPECIALIZED COMPUTATION MODELS677
10.Graphical User Interface Programming679
11.Distributed Programming707
12.Constraint Programming749
III.SEMANTICS777
13.Language Semantics779
IV.APPENDICES813
A.Mozart System Development Environment815
B.Basic Data Types819
C.Language Syntax833
D.General Computation Model843
References853
Index
Download Chapter as PDF Sample Chapter - Download PDF (293 KB)
863
 
Join an E-mail Alert List


 
 
TECHNOLOGY PARTNER: Azility, Inc. TERMS OF USE | PRIVACY POLICY | COPYRIGHT © 2009