Montages Framework

Program-Transformation.Org: The Program Transformation Wiki

Montages form a framework for the formal description of syntax and semantics of imperative programming languages.

Homepage: http://www.tik.ee.ethz.ch/~montages/