Improving the Static Analysis of Embedded Languages via Partial Evaluation (2004)
by
David Herman
,
Philippe Meunier
| Citations: | 8 - 0 self |
BibTeX
@MISC{Herman04improvingthe,
author = {David Herman and Philippe Meunier},
title = {Improving the Static Analysis of Embedded Languages via Partial Evaluation},
year = {2004}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
detected or enforced by their host language. We show how to use macros to easily implement partial evaluation of embedded interpreters in order to capture invariants encoded in embedded programs and render them explicit in the terms of their host language. We demonstrate the effectiveness of this technique in improving the results of a value flow analysis.
