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
--
EelcoVisser
- 23 Dec 2001
CategorySystem
Revision: r1.2 - 23 Dec 2001 - 16:33 -
EelcoVisser
Transform
>
MontagesFramework
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki?
Send feedback