Sciweavers

249 search results - page 1 / 50
» Polymorphic Binding-Time Analysis
Sort
View
FLOPS
2010
Springer
13 years 10 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 9 months ago
Polymorphic Binding-Time Analysis
Fritz Henglein, Christian Mossin
PEPM
1993
ACM
13 years 9 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 9 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