Montages specifications of realistic programming languages (1997)
| Venue: | JOURNAL OF UNIVERSAL COMPUTER SCIENCE |
| Citations: | 29 - 7 self |
BibTeX
@ARTICLE{Kutter97montagesspecifications,
author = {Philipp W. Kutter and Alfonso Pierantonio},
title = {Montages specifications of realistic programming languages},
journal = {JOURNAL OF UNIVERSAL COMPUTER SCIENCE},
year = {1997},
volume = {3},
number = {5}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Montages are a new way of describing all aspects of programming languages formally. Such specifications are intelligible for a broad range of people involved in programming language design and use. In order to enhance readability we combine visual and textual elements to yield specifications similar in structure, length, and complexity to those in common language manuals, but with a formal semantics. The formal semantics is based on Gurevich's Abstract State Machines (formerly called Evolving Algebras).
