Montages Specifications of Realistic Programming Languages
Дата
Авторы
Kutter,Philipp
Pierantonio,Alfonso
Journal Title
Journal ISSN
Volume Title
Издатель
Journal of Universal Computer Science
Аннотация
Описание
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).
Ключевые слова
abstract state machines , language design , Montages , programming languages specifications , visual formalisms , modular specifications