98 search results - page 1 / 20 » Binding-Time Analysis for Polymorphic Types |
FLOPS
2010
Springer
15 years 4 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...
70
Voted
ERSHOV
2001
Springer
15 years 3 months ago
2001
Springer
67
Voted
ESOP
1994
Springer
15 years 3 months ago
1994
Springer
PEPM
1993
ACM
15 years 3 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
15 years 4 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 ...