Tue Jan 27 09:33:45 CET 2009

multi-stage semantics


  "Ziggurat allows the language extender to optionally define static
  semantics for her new language, and connect these static semantics
  amongst language levels."

Isn't this what I'm looking for?  The move from compile-time semantics
coming from rewrite rules, to run-time semantics.  The paper calls
this "specification by compiler".