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.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11697/20917
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 37
  • ???jsp.display-item.citation.isi??? ND
social impact