Wed Mar 10 10:25:03 CET 2010

Improving the Static Analysis of Embedded Programs via Partial Evaluation.

David Herman and Philippe Meunier. International Conference on
Functional Programming (ICFP), 2004. [bib, ps, pdf]. [1]

The basic idea is to replace an interpreter for an embedded language
with a compiler or partial compiler such that static invariants
implicitly present in the embedded language structure are accessible
at compile time.

[1] http://www.ccs.neu.edu/home/dherman/research/papers/icfp04-dsl-analysis.pdf