Static meta-object protocols:towards efficient reflective object-oriented languages


Reflection and extensibility in object-oriented programming languages can be supported by meta-object protocols (MOP) that define class-based interfaces over data representation and execution features. MOPs are typically dynamic in the sense that type-based dispatching is used to select between feature implementations at run time leading to a significant difference in execution speed compared to non-MOP-based languages. Defining a corresponding static-MOP would seem to be a solution whereby type-dispatching can occur at compile time. Such an approach requires the integration of a static type system with a MOP. This paper introduces a new reflective and extensible language called JMF written in Java that aims to generate efficient code through the use of a static-MOP. The contribution of this paper is to characterise a static-MOP and to show how it integrates with a type system for JMF.

Publication DOI:
Divisions: Engineering & Applied Sciences
Event Title: Companion the 15th International Conference
Event Type: Other
Event Location: Málaga, Spain
Event Dates: 2016-03-14 - 2016-03-17
Full Text Link: ... 365/1/paper.pdf
Related URLs: https://dl.acm. ... 2892664.2892694 (Publisher URL)
Published Date: 2016
Authors: Clark, Tony ( 0000-0003-3167-0739)

Export / Share Citation


Additional statistics for this record