Amazon cover image
Image from Amazon.com

Concepts, techniques, and models of computer programming / Peter Van Roy, Seif Haridi.

By: Contributor(s): Publication details: Cambridge, Mass. : MIT Press, 2004.Description: xxvii, 900 p. : ill. ; 26 cmISBN:
  • 9780262220699
Subject(s): DDC classification:
  • 005.1 22 ROY
LOC classification:
  • .
Tags from this library: No tags from this library for this title. Log in to add tags.
Star ratings
    Average rating: 0.0 (0 votes)
Holdings
Item type Current library Call number Copy number Status Date due Barcode
Book Open Access Book Open Access Engineering Library 005.1 ROY. 1 (Browse shelf(Opens below)) 1 Available BUML23070627
Book Open Access Book Open Access Engineering Library 005.1 ROY. 2 (Browse shelf(Opens below)) 2 Available BUML23070628

Contents
1 Introduction to Programming Concepts
1.1 A calculator
1.2 Variables
1.3 Functions
1.4 Lists, etc

1 General Computation Models
2 Declarative Computation Model
2.1 Defining Practical Programming Languages
2.2 The single- assignment store
2.3 Kernel Language
2.4 Kernel Language semantics, etc

3 Declarative Programming Techniques
3.1 What is declarativeness?
3.2 Iterative computation
3.3 Recursive computation
3.4 Programming with recursion, etc

4 Declarative Concurrency
4.1 The data- driven concurrent model
4.2 Basic thread programming techniques
4.3 Streams
4.4 Using the declarative concurrent model directly, etc

5 Message- Passing Concurrency
5.1 The message- passing concurrent model
5.2 Port objects
5.3 Simple message protocls
5.4 Program design for concurrency, etc

6 Explicit State
6.1 What is state?
6.2 State and system building
6.3 The declarative model with explicit state
6.4 Date abstraction, etc

7 Object-Oriented Programming
7.1 Inheritance
7.2 Classes as Incremental date abstractions
7.3 Classes as complete date abstraction, etc

8 Shared-State Concurrency
8.1 The shared state concurrent model
8.2 Programming with concurrency
8.3 Locks
8.4 Monitors, etc

9 Relational Programming
9.1 The relational computation model
9.2 Further examples
9.3 Relation to logic programming, etc

11 SPECIALIZED COMPUTATION MODELS
10 Graphical User Interface Programming
10.1 The declarative/procedural approach
10.2 Using the declarative/ procedural approach
10.3 The prototyper interactive learning tool, etc

11 Distributed Programming
11.1 Taxonomy of distributed system
11.2 The distribution model
11.3 Distribution of declarative data
11.4 Distribution of state
11.5 Network awareness, etc

12 Constraint Programming
12.1 Propagate-and-search
12.2 Programming techniques
12.3 The constraint-based computation model,etc

111 SEMANTICS
13 Language semantics
13.1 The general computation model
13.2 Declarative concurrency
13.3 Eight computation models
13.4 Semantics of common abstraction
13.5 Historical, etc.

Bibliographical references : p. 853 - 862 . _ Index : p. 863 - 900

There are no comments on this title.

to post a comment.