Object Oriented Technology Book TOC – Free Books Download PDF

Object Oriented Technology Book TOC – Free Books Download PDF
Download PDF Click Here

1 Typed Objects

1.1 Typed Objects

1.1.1 Objects and Classes

1.1.2 Inheritance

1.1.3 Subtyping

1.1.4 Static and Dynamic Binding

1.2 Parametric Types

1.2.1 Collection Types

1.2.2 Parametric Types

1.2.3 Implementing Parametric Classes

1.2.4 Abstract Classes

1.2.5 Parametric Types and Subtyping

1.3 Bibliographic Remarks

1.4 Exercises

2 Assertions

2.1 Declarative Specifications

2.1.1 Assertions

2.1.2 Basic Reasoning Rules

2.2 Object-Oriented Assertions

2.2.1 Preconditions and Post conditions

2.2.2 Loop Invariants

2.2.3 Termination

2.2.4 Object Invariants

2.2.5 Assertions for Collections.

2.2.6 Behavioral Subtyping.

2.3 Sample Application.

2.4 Bibliographic Remarks.

2.5 Exercises.

3 Virtual Platform

3.1 Reflection

3.1.1 Reflective Classes.

3.1.2 Class Objects

3.1.3 Field Objects.

3.1.4 Method Objects

3.1.5 Constructor Objects.

3.1.6 Updating Fields

3.1.7 Invoking Methods.

3.1.8 Creating Class Objects

3.1.9 Class Files.

3.2 Virtual Machine.

3.2.1 The Structure of the Virtual Machine

3.2.2 Creating Objects.

3.2.3 Invoking Methods.

3.2.4 Accessing Fields.

3.2.5 Operations.

3.2.6 Arrays

3.3 Extending Virtual Platform.

3.4 Persistent Objects.

3.4.1 Orthogonal Persistence

3.4.2 Persistence Architecture

3.4.3 Object Serialization.

3.5 Bibliographic Remarks.

3.6 Exercises.

4 Type Systems.

4.1 Formal Type Systems.

4.1.1 Typing Rules.

4.1.2 Object-Oriented Type System

4.1.3 Dynamic Type Checking

4.1.4 Parametric Types

4.2 Reflection

4.3 Type Erasure

4.3.1 Type Erasure Idiom.

4.3.2 Static Type Checking

4.3.3 Dynamic Type Checking

4.3.4 Persistence by Serializability.

4.3.5 Reflection

4.4 Bibliographic Remarks.

4.5 Exercises.

5 Concurrent Models

5.1 Concurrent Threads.

5.1.1 Thread Objects

5.1.2 Synchronized Objects.

5.1.3 Synchronization and Inheritance.

5.1.4 Concurrency and Serialization

5.1.5 Synchronized Versus Unsynchronized Executions

5.2 Messages as Objects

5.2.1 Types of Messages

5.2.2 Typing Rules.

5.2.3 Behavioral Subtyping.

5.3 Concurrent Objects

5.3.1 Ambients of Concurrent Objects.

5.3.2 Reflection

5.3.3 Virtual Machine.

5.4 Bibliographic Remarks.

5.5 Exercises.

6 Object Databases.

6.1 Query Languages

6.1.1 Object Definition Language.

6.1.2 Object Query Language.

6.1.3 Java OQL

6.1.4 Language Integrated Queries (LINQ)

6.2 Object Databases

6.2.1 ODMG Java Binding

6.2.2 Parametric Persistent Collections.

6.2.3 Db4 Objects

6.2.4 Database Application

6.3 Database Constraints

6.4 Bibliographic Remarks.

6.5 Exercises.

7 Types and Constraints.

7.1 Database Type Systems.

7.1.1 ODL and OQL Examples.

7.1.2 Schemas

7.1.3 Inheritance.

7.1.4 Structures

7.1.5 Interfaces.

7.1.6 Classes.

7.1.7 Objects and Messages.

7.1.8 Type Checking OQL Queries.

7.1.9 OQL Queries and Parametric Types

7.1.10 Queries with Order by Clause

7.1.11 Java OQL

7.1.12 Typing Ordered Collections and Indices.

7.2 Transactions.

7.2.1 Transactions and Constraints.

7.2.2 Schemas and Transactions

7.2.3 Levels of Consistency.

7.2.4 Constraints for Schemas

7.2.5 Sample Transactions

7.2.6 Constraints and Queries.

7.2.7 Specification Inheritance

7.2.8 Abstraction.

7.2.9 Dynamic Checking of Constraints

7.3 Bibliographic Remarks.

7.4 Exercises.