Concurrent Object-Oriented Programming and Anomalies
Susmit Bagchi
Abstract
Susmit Bagchi
Abstract
Abstract: The concepts of object-oriented programming and concurrency are well established. However, the formal definitions about the both are weak. The framework becomes more prone to errors when the behaviour of objects is made concurrent. In this thesis, an effort is made to establish the formal framework modeling the concurrent object-oriented programming paradigm. In addition, it is shown that in such a system the mechanism of inheritance and object synchronization may produce anomalous results, if not carefully modeled. 1.
A significance statement is not available in the OpenAlex record.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
Abstract: The concepts of object-oriented programming and concurrency are well established. However, the formal definitions about the both are weak. The framework becomes more prone to errors when the behaviour of objects is made concurrent. In this thesis, an effort is made to establish the formal framework modeling the concurrent object-oriented programming paradigm. In addition, it is shown that in such a system the mechanism of inheritance and object synchronization may produce anomalous results, if not carefully modeled. 1.
Key concepts: Concurrent object-oriented programming, Computer science, Programming language, Concurrency, Object-oriented programming, Inheritance (genetic algorithm), Object (grammar), Programming paradigm