Sciweavers

249 search results - page 1 / 50
» Polymorphic Binding-Time Analysis
Sort
View
FLOPS
2010
Springer
15 years 2 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
63
Voted
ERSHOV
2001
Springer
15 years 2 months ago
Binding-Time Analysis for Polymorphic Types
Rogardt Heldal, John Hughes
ESOP
1994
Springer
15 years 1 months ago
Polymorphic Binding-Time Analysis
Fritz Henglein, Christian Mossin
PEPM
1993
ACM
15 years 1 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
15 years 1 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