Abstract
Programs in embedded languages contain invariants that are not automatically 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.
Original language | English |
---|---|
Pages | 16-27 |
Number of pages | 12 |
DOIs | |
State | Published - 2004 |
Event | Proceedings of the NinthACM SIGPLAN International Conference on Functional Programming, ICFP'04 - Snowbird, UT, United States Duration: 19 Sep 2004 → 21 Sep 2004 |
Conference
Conference | Proceedings of the NinthACM SIGPLAN International Conference on Functional Programming, ICFP'04 |
---|---|
Country/Territory | United States |
City | Snowbird, UT |
Period | 19/09/04 → 21/09/04 |
Keywords
- Embedded languages
- Macros
- Partial evaluation
- Value flow analysis