Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity
| Citations: | 37 - 4 self |
BibTeX
@MISC{Hornof_accuratebinding-time,
author = {Luke Hornof and Jacques Noyé},
title = {Accurate Binding-Time Analysis For Imperative Languages: Flow, Context, and Return Sensitivity},
year = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Since a binding-time analysis determines how an off-line partial evaluator will specialize a program, the accuracy of the binding-time information directly determines the degree of specialization. We have designed and implemented a binding-time analysis for an imperative language, and integrated it into our partial evaluator for C, called Tempo [11]. This binding-time analysis includes a number of new features, not available in any existing partial evaluator for an imperative language, which are critical when specializing existing programs such as operating system components [27,28]. ffl Flow sensitivity. A different binding-time description is computed for each program point, allowing the same variable to be considered static at one program point and dynamic at another. ffl Context sensitivity. Each function call is analyzed with the context of the call site, generating multiple binding-time annotated instances of the same function definition. ffl Return sensitivity. A different bi...
