TY  - BOOK
AU  - Van-Roy,Peter
AU  - Haridi,Seif
TI  - Concepts, techniques, and models of computer programming
SN  - 9780262220699
U1  - 005.1 22
PY  - 2004///
CY  - Cambridge, Mass.
PB  - MIT Press
KW  - Computer programming
N1  - 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
ER  -