Sciweavers

249 search results - page 1 / 50
» Polymorphic Binding-Time Analysis
Sort
View
FLOPS
2010
Springer
13 years 11 months ago
Tag-Free Combinators for Binding-Time Polymorphic Program Generation
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
Peter Thiemann, Martin Sulzmann
ESOP
1994
Springer
13 years 10 months ago
Polymorphic Binding-Time Analysis
Fritz Henglein, Christian Mossin
PEPM
1993
ACM
13 years 10 months ago
Binding-Time Analysis and the Taming of C Pointers
The aim of binding-time analysis is to determine when variables, expressions, statements, etc. in a program can be evaluated by classifying these into static (compile-time) and dy...
Lars Ole Andersen
PEPM
1993
ACM
13 years 10 months ago
Polyvariant Binding-Time Analysis For Applicative Languages
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...
Charles Consel