1090 search results - page 4 / 218 » Type-Directed Partial Evaluation |
TOPLAS
1998
13 years 4 months ago
1998
RV
2010
Springer
13 years 3 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 ...
CORR
2002
Springer
13 years 5 months ago
2002
Springer
Program specialisation aims at improving the overall performance of programs by performing source to source transformations. A common approach within functional and logic programm...
ASIAN
1998
Springer
13 years 9 months ago
1998
Springer
Abstract. Type-directed partial evaluation is a new approach to program specialization for functional programming languages. Its merits with respect to the traditional offline part...
PEPM
1997
ACM
13 years 9 months ago
1997
ACM
Recently, Olivier Danvy introduced a new, simple method for implementing powerful partial evaluators, namely typedirected partial evaluation 9 . He introduced a partial evaluator ...