Jim Huggins / huggins@acm.org
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/montages.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT
| Citation: | Philipp W. Kutter and Alfonso Pierantonio, "Montages: Specifications of Realistic Programming Languages", Journal of Universal Computer Science, vol. 3, no. 5 (1997), 416--442. |
|---|---|
| Summary: | The authors introduce Montages, a version of ASMs specifically tailored for specifying the static and dynamic semantics of programming languages. Montages combine graphical and textual elements to yield specifications similar in structure, length, and complexity to those in common language manuals, but with a formal semantics. |
| Subjects: | Montages |
| Download: | PostScript, PDF, Compressed PostScript |
| Notes: | (Courtesy of Springer-Verlag.) |
[an error occurred while processing this directive]
URL:
http://web.eecs.umich.edu/gasm/papers/montages.html (page only)
last update: Wednesday, 14-Aug-2013 18:19:19 EDT