Wed Jun 8 16:04:31 CEST 2011

Separate meaning from mapping

It would be nice to find a good example to do the 2-part
implementation: algorithm and abstract interpretation.

One thing that is useful is a retargetable VM.  It has a lot of
implementation trade-offs, of which some might fit in the AI view.