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 eorts, for example to introduce transparently pluggable type-checkers or fine-grained profilers. In this paper we present Persephone, an ecient 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. |
Year | Venue | Keywords |
---|---|---|
2007 | Journal of Object Technology | type system,development environment |
Field | DocType | Volume |
Programming language,Computer science,Knowledge-based systems,Granularity,Bytecode,Expressivity | Journal | 6 |
Issue | Citations | PageRank |
9 | 18 | 0.94 |
References | Authors | |
21 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Marcus Denker | 1 | 285 | 23.94 |
Stéphane Ducasse | 2 | 3418 | 243.15 |
Adrian Lienhard | 3 | 173 | 11.01 |
Philippe Marschall | 4 | 18 | 0.94 |