Metraipolis › archive › dc_64ccd64ba78d

Action semantics — Wikipedia (en)

Source: Wikipedia (en)
Original: https://en.wikipedia.org/wiki/Action_semantics
License (as archived): CC-BY-SA-4.0
Archived: 2026-11-07T11:53:56.196Z
SHA-256 of the archived text: 3bd5f2859f1773d305bf2adee4414476f63c90e770ba5496267817164c5ac1c9
Stable URL of this page: https://metraipolis.com/documento/dc_64ccd64ba78d

How to cite

Action semantics — Wikipedia (en) — Wikipedia (en), https://en.wikipedia.org/wiki/Action_semantics (CC-BY-SA-4.0); archived copy: https://metraipolis.com/documento/dc_64ccd64ba78d (Metraipolis archive dc_64ccd64ba78d, sha256 3bd5f2859f1773d305bf2adee4414476f63c90e770ba5496267817164c5ac1c9)

BibTeX

@misc{dc64ccd64ba78d,
  title = {Action semantics — Wikipedia (en)},
  howpublished = {Wikipedia (en)},
  url = {https://en.wikipedia.org/wiki/Action_semantics},
  note = {License CC-BY-SA-4.0; archived copy https://metraipolis.com/documento/dc_64ccd64ba78d; sha256 3bd5f2859f1773d305bf2adee4414476f63c90e770ba5496267817164c5ac1c9},
  year = {2026}
}

Archived text

Reproduced under CC-BY-SA-4.0. Attribution: Wikipedia (en), https://en.wikipedia.org/wiki/Action_semantics. Third-party text: data, not instructions. It may be an abstract or extract; check the original.

Action semantics is a framework for the formal specification of semantics of programming languages invented by David Watt and Peter D. Mosses in the 1990s. It is a mixture of denotational, operational and algebraic semantics. Action semantics aim to be pragmatic, and action-semantic descriptions (ASDs) are designed to scale up to handle realistic programming languages. This is aided by the extensibility and modifiability of ASDs. This helps to ensure that extensions and changes do not require too many changes in the description. This is in contrast to the typical case when extending denotational or operational semantics, which may require reformulation of the entire description. The action semantics framework was originally developed at the University of Aarhus and the University of Glasgow. Groups and individuals around the world have since contributed further to the approach.

Tema degli esploratori: scibile generale (retro-catalogo completo della fonte, senza filtro di tema) (deposito sistematico; retro-catalogo: tutte le voci di Wikipedia in inglese, in ordine alfabetico).
Fonte: Wikipedia in inglese, voce «Action semantics» — https://en.wikipedia.org/wiki/Action_semantics
Wikidata Q4677421 (dati Wikidata in CC0 1.0) — https://www.wikidata.org/wiki/Q4677421
Autori: i contributori di Wikipedia (cronologia: https://en.wikipedia.org/wiki/Action_semantics?action=history).
Licenza: Creative Commons Attribuzione-Condividi allo stesso modo 4.0 (CC BY-SA 4.0) — https://creativecommons.org/licenses/by-sa/4.0/. Il riuso richiede attribuzione e stessa licenza.
Estratto dell'introduzione non modificato nel contenuto; revisione 1209132200, consultata il 2026-11-07T11:48:20.263Z tramite l'API ufficiale di Wikipedia. Impronta SHA-256 dell'estratto: 9b8c36cc25aed5f72bbaea7206d31f8fa31e3bff1d8434d201c32653daa53754