Theory and Practice of Action Semantics

Forfattere

  • Peter D. Mosses

DOI:

https://doi.org/10.7146/brics.v3i53.20056

Resumé

Action Semantics is a framework for the formal description
of programming languages. Its main advantage over other frameworks
is pragmatic: action-semantic descriptions (ASDs) scale up smoothly to
realistic programming languages. This is due to the inherent extensibility
and modifiability of ASDs, ensuring that extensions and changes to
the described language require only proportionate changes in its description.
(In denotational or operational semantics, adding an unforeseen
construct to a language may require a reformulation of the entire description.)
After sketching the background for the development of action semantics,
we summarize the main ideas of the framework, and provide a simple
illustrative example of an ASD. We identify which features of ASDs
are crucial for good pragmatics. Then we explain the foundations of
action semantics, and survey recent advances in its theory and practical
applications. Finally, we assess the prospects for further development
and use of action semantics.
The action semantics framework was initially developed at the University
of Aarhus by the present author, in collaboration with David Watt
(University of Glasgow). Groups and individuals scattered around five
continents have since contributed to its theory and practice.

Downloads

Publiceret

1996-06-23

Citation/Eksport

Mosses, P. D. (1996). Theory and Practice of Action Semantics. BRICS Report Series, 3(53). https://doi.org/10.7146/brics.v3i53.20056

Nummer

Nr. 53 (1996): RS-53 Theory and Practice of Action Semantics

Sektion

Artikler

Licens

Authors who publish with this journal agree to the following terms:

    1. Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.

    1. Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.

  1. Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).