Index of obpdc97

• Cover Page
• Table of Contents
• Motivation
• Two Kind of Inheritance
• Inheritance Anomalies (Matsuoka and Yonezawa)
• To Avoid Substitution Anomalies...
• Guards are not Suited for the Above Principle
• State Abstraction-Based Synchronization
• ADT and State
• State Abstraction
• State Abstraction-Based Synchronization
• p6 and p6i
• p6i Example: Bounded Buffer: Interface
• p6i Example: Bounded Buffer: Implementation
• Interface Inheritance and Implementation Inheritance
• Interface Inheritance in p6i
• Interface Inheritance in p6i (2)
• Type Substitutability in p6i
• Implementation Inheritance and Delegation in p6i
• Implementation Inheritance and Delegation in p6i (2)
• Avoiding Method Redefinition in Face of State-set Changes
• Avoiding Method Redefinition in Face of State-set Changes (2)
• Solution to Inheritance Anomaly Examples
• State partitioning anomaly
• History-only sensitive anomaly
• State modificaiton anomaly (or mixin anomaly)
• Implementation Issue
• p6/SPARC Design
• p6/SPARC Design (2)
• p6/SPRAC Design (3)
• Performance of p6/SPARC
• Plan for p6i Implementation
• Plan for p6i Implementation (2)
• Discussion
• Comparison to Related Works
• Comparison to Related Works (2)
• Comparison to Related Works (3)
• Conclusion
• Further Research