Sub-Method Reflection

Abstract : Reflection has proved to be a powerful feature to support the design of development environments and to extend languages. However, the granularity of structural reflection stops at the method level. This is a problem since without sub-method reflection developers have to duplicate efforts, for example to introduce transparently pluggable type-checkers or fine-grained profilers. In this paper we present Persephone, an efficient implementation of a sub-method meta-object protocol (MOP) based on AST annotations and dual methods (a compiled method and its meta-object) that reconcile AST expressiveness with bytecode execution. We validate the MOP by presenting TreeNurse, a method instrumentation framework and TypePlug, an optional, pluggable type system which is based on Persephone.
Document type :
Conference papers
Complete list of metadatas

Cited literature [42 references]  Display  Hide  Download

https://hal.inria.fr/inria-00556467
Contributor : Lse Lse <>
Submitted on : Sunday, January 16, 2011 - 6:06:44 PM
Last modification on : Wednesday, January 10, 2018 - 9:44:35 AM
Long-term archiving on : Sunday, April 17, 2011 - 2:41:23 AM

File

Denk07b-TOOLS07-Submethod.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Marcus Denker, Stéphane Ducasse, Adrian Lienhard, Philippe Marschall. Sub-Method Reflection. TOOLS Europe 2007, ETH Zürich, 2007, Zürich, Switzerland. pp.231-251, ⟨10.5381/jot.2007.6.9.a14⟩. ⟨inria-00556467⟩

Share

Metrics

Record views

229

Files downloads

214