Tue Sep 1 19:21:08 CEST 2009
Abstract Interpretation and Scheme -> C mapping
Essentially the same trick as is used in most MetaOCaml literature: if
the homogenously staged program doesn't use many of the highlevel
features of the meta language, it can be projected onto a language
with lower level semantics. This is called heterogenous staging.
In the case of Scheme -> C projection, I already started with
something like that in libprim, as an experiment to generate EX code
(Dynamically typed async-GC language with C control flow).
A starting point: In  on p.8 a subset of the C grammar is
specified, which to which a subset of the OCaml grammar specified on
p.9 is mapped.