Meta-Level Compilation project at stanford

http://metacomp.stanford.edu/

Interesting... they seem to be using it most is as a sort of "lint-on-steroids."

But I look at this:

The goal of the Meta-level Compilation (MC) project is to allow system implementors to easily build simple domain- and application-specific compiler extensions to check, optimize, and transform code.

To me the words "transform code" stand out like crazy. I'm thinking that this sounds like lisp-style macros, although, it seems, with much more work involved.



Technorati Tags: lisp, macros, programming, static