Tipo: Libro impreso / Print book
Tamaño / Size: 21 x 28 cm
Páginas / Pages: 900
Resumen / Summary:
Autor / Author: Peter Van Roy
Editorial / Publisher: Universidad Javeriana
Entrega / Delivery : Nacional / International
Envio desde / Ships from: Colombia
Condición / Condition: Nuevo / New
Tabla de contenido / Table of contents: Preface
Running the example programs
1. Introduction to programming concepts
1.1 A calculator
1.2 Variables
1.3 Functions
1.4 Lists
1.5 Functions over lists
1.6 Correctness
1.7 Complexity
1.8 Lazy evaluation
1.9 Higher – order programming
1.10 Concurrency
1.11 Dataflow
1.12 Explicit stae
1.13 Objects
1.14 Calsses
1.15 Nondeterminism and time
1.16 Atomicity
1.17 Where do we go from here?
1.18 Exercises
I. 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
2.5 Memory management
2.6 From kernel language to practical language
2.7 Exceptions
2.8 Advanced topics
2.9 Exercises
3. Declarative programming techniques
3.1 What is declarativeness?
3.2 Iterative computation
3.3 Recursive computation
3.4 Programming with recursion
3.5 Time and space efficiency
3.6 Higher – order programming
3.7 Abstract data types
3.8 Nondeclarative needs
3.9 Program design in the small
3.10 Exercises
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
4.5 Lazy execution
4.6 Soft real – time programming
4.7 The Haskell language
4.8 Limitations and extensions of declarative programming
4.9 Advanced topics
4.10 Historical notes
4.11 Exercises
5. Message – passing concurrency
5.1 The message – passing concurrent model
5.2 Port objects
5.3 Simple message protocols
5.4 Program design for concurrency
5.5 Lift control system
5.6 Using message – using model directly
5.7 The Erlang language
5.8 Advanced topic
5.9 Exercises
6. Explicit state
6.1 What is state?
6.2 State and system building
6.3 The declarative model with explicit state
6.4 Data abstraction
6.5 Stateful collections
6.6 Reasoning with state
6.7 Program design in the large
6.8 Case studies
6.9 Advanced topics
6.10 Exercises
7. Object oriented programming
7.1 Inheritance
7.2 Classes as complete data abstractions
7.3 Classes as incremental data abstractions
7.4 Programming with inheritance
7.5 Relation to other computation models
7.6 Implementing the object system
7.7 The Java language (sequential part)
7.8 Active objects
7.9 Exercises
8. Shared state concurrency
8.1 The shared state concurrent model
8.2 Programming with concurrency
8.3 Locks
8.4 Monitors
8.5 Transactions
8.6 The Java language (concurrent part)
8.7 Exercises
9. Relational programming
9.1 The relational computation model
9.2 Further examples
9.3 Relation to logic programming
9.4 Natural language parsing
9.5 A grammar interpreter
9.6 Databases
9.7 The Prolog language
9.8 Exercises
II. 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
10.4 Case studies
10.5 Implementing the GUI tool
10.6 Exercises
11. Distributed programming
11.1 Taxonomy of distributed systems
11.2 The distribution model
11.3 Distribution of declarative data
11.4 Distribution of state
11.5 Network awareness
11.6 Common distributed programming patterns
11.7 Distribution protocols
11.8 Partial failure
11.9 Security
11.10 Building applications
11.11 Exercises
12. Constraint programming
12.1 Propagate and search
12.2 Programming techniques
12.3 The constraint based computation model
12.4 Defining and using computation model
12.5 Implementing the relational computation model
12.6 Exercises
III. Semantics
13. Language semantics
13.1 The general computation model
13.2 Declarative concurrency
13.3 Eight computation models
13.4 Semantics of common abstractions
13.5 Historical notes
13.6 Exercises
IV. Appendixes
A. Mozart system development environment
B. Basic data types
C. Language syntax
D. General computation model
References
Index
