61 search results - page 5 / 13 » Compiling Inheritance using Partial Evaluation |
103
Voted
DAGSTUHL
1996
15 years 29 days ago
1996
Abstract. Type-directed partial evaluation stems from the residualization of arbitrary static values in dynamic contexts, given their type. Its algorithm coincides with the one for...
RV
2010
Springer
14 years 10 months ago
2010
Springer
Researchers have developed a number of runtime verification tools that generate runtime monitors in the form of AspectJ aspects. In this work, we present Clara, a novel framework ...
111
Voted
DAGSTUHL
1996
15 years 29 days ago
1996
The so called "cogen approach" to program specialisation, writing a compiler generator instead of a specialiser, has been used with considerable success in partial evalua...
112
Voted
CC
2003
Springer
15 years 4 months ago
2003
Springer
This paper presents a semantics-based compilation model for an aspect-oriented programming language based on its operational semantics. Using partial evaluation, the model can expl...
107
Voted
PPDP
2005
Springer
15 years 5 months ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...