Montages are a new way of describing all asp ects of programming languages formally. Such specifications are intelligible for a broad range of people involed in programming language design and use. In order to enhance readability we combine visual and textual elements to yieald specifications similar in structure, length, and complexity to those in common language manuals, but with formal semantics. The formal semantics is based on Gurevich's Abstract State Machines (formerly called Evolving Algenbras).
Montages: Specifications of Realistic Programming Languages
PIERANTONIO, ALFONSO
1997-01-01
Abstract
Montages are a new way of describing all asp ects of programming languages formally. Such specifications are intelligible for a broad range of people involed in programming language design and use. In order to enhance readability we combine visual and textual elements to yieald specifications similar in structure, length, and complexity to those in common language manuals, but with formal semantics. The formal semantics is based on Gurevich's Abstract State Machines (formerly called Evolving Algenbras).File in questo prodotto:
Non ci sono file associati a questo prodotto.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
