Solving Inheritance Anomaly Problems by State Abstraction-Based Synchronization

“Abstract state” is a programming language facility that makes the internal state information of abstract data types available from outside, in a controlled fashion. Abstract state is also a useful and efficient tool for specifying synchronization for parallel object-oriented languages. In this paper, we introduce interfaceand implementationinheritance to state abstractionbased parallel language and analyze its descriptive power. As a result, we could obtain (1) clean, comprehensive language design, which is (2) efficiently implementable, (3) avoiding typical inheritance anomaly problems. Additionally, in our scheme (4) type system reflects difference in objects’ synchronization behavior, which affects objects’ substitutability.