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 [1] 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.

[1] http://www.cs.rice.edu/~taha/publications/journal/ngc07.pdf