Concepts, techniques, and models of computer programming /
Peter Van Roy, Seif Haridi.
- Cambridge, Mass. : MIT Press, 2004.
- xxvii, 900 p. : ill. ; 26 cm.
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
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