From Functions to Object-Orientation by Abstraction
This work addresses theoretical modeling for concurrent systems, but it appears incremental as it builds on prior frameworks without demonstrating new applications or broad impact.
The paper tackles the problem of modeling concurrent execution of functions and objects by developing a computational framework, showing that the object execution model aligns with object-oriented fundamentals.
In previous work we developed a framework of computational models for function and object execution. The models on an higher level of abstraction in this framework allow for concurrent execution of functions and objects. We show that the computational model for object execution complies with the fundamentals of object-orientation.