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).
|Titolo:||Montages: Specifications of Realistic Programming Languages|
|Autori interni:||PIERANTONIO, ALFONSO|
|Data di pubblicazione:||1997|
|Rivista:||JOURNAL OF UNIVERSAL COMPUTER SCIENCE|
|Appare nelle tipologie:||1.1 Articolo in rivista|