2012/09/27 by Bob Diertens, Diertens, Bob
Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Software Engineering (cs.SE)
paper · pdf · doi:10.48550/arxiv.1209.6163
openalex publication_date 2012/09/27 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.