Safe Reflection Through Polymorphism

Verwaest, Toon; Renggli, Lukas (2009). Safe Reflection Through Polymorphism. In: CASTA '09: Proceedings of the first international workshop on Context-aware software technology and applications (pp. 21-24). New York: Association for Computing Machinery ACM 10.1145/1595768.1595776

[img] Text
p21-verwaest.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (396kB)

Code executed in a fully reflective system switches back and forth between application and interpreter code. These two states can be seen as contexts in which an expression is evaluated. Current language implementations obtain reflective capabilities by exposing objects to the interpreter. However, in doing so these systems break the encapsulation of the application objects. In this paper we propose safe reflection through polymorphism, \ie by unifying the interface and ensuring the encapsulation of objects from both the interpreter and application context. We demonstrate a \emphhomogeneous system that defines the execution semantics in terms of itself, thus enforcing that encapsulation is not broken.

Item Type:

Conference or Workshop Item (Paper)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF)
08 Faculty of Science > Institute of Computer Science (INF) > Software Composition Group (SCG) [discontinued]

UniBE Contributor:

Verwaest, Toon Wim Jan, Renggli, Lukas

ISBN:

978-1-60558-707-3

Publisher:

Association for Computing Machinery ACM

Language:

English

Submitter:

Factscience Import

Date Deposited:

04 Oct 2013 15:22

Last Modified:

08 Jan 2023 00:27

Publisher DOI:

10.1145/1595768.1595776

Web of Science ID:

000293821500007

BORIS DOI:

10.7892/boris.37173

URI:

https://boris.unibe.ch/id/eprint/37173 (FactScience: 207145)

Actions (login required)

Edit item Edit item
Provide Feedback