98 search results - page 1 / 20 » Binding-Time Analysis for Polymorphic Types |
FLOPS
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
ERSHOV
2001
Springer
13 years 10 months ago
2001
Springer
ESOP
1994
Springer
13 years 9 months ago
1994
Springer
PEPM
1993
ACM
13 years 9 months ago
1993
ACM
Binding-time analysis is a crucial component of an ofine partial evaluator. The accuracy of the binding-time information that it produces determines the degree of specialization o...
LOPSTR
2004
Springer
13 years 11 months ago
2004
Springer
Offline partial evaluation techniques rely on an annotated version of the source program to control the specialisation process. These annotations guide the specialisation and have ...