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/
- GemMex
- Montages Specifications of Realistic Programming Languages
CategorySystem