Action semantics

Action semantics

Action semantics is a framework for the formal specification of semantics of programming languages invented by David Watt and Peter D. Mosses. It is a mixture of denotational, operational and algebraic semantics.

Action Semantics aims to be pragmatic. 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.

External links

* [http://www.brics.dk/Projects/AS Action Semantics website] including a [http://www.brics.dk/Projects/AS/AboutActionSemantics.html brief introduction]


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • semantics — semanticist /si man teuh sist/, semantician /see man tish euhn/, n. /si man tiks/, n. (used with a sing. v.) 1. Ling. a. the study of meaning. b. the study of linguistic development by classifying and examining changes in meaning and form. 2.… …   Universalium

  • Action item — A similar concept is the next action according to the Getting Things Done system by David Allen.In Management, an action item is a documented event, task, activity, or action that needs to take place. Action items are discrete units that can be… …   Wikipedia

  • Formal semantics of programming languages — In theoretical computer science, formal semantics is the field concerned with the rigorous mathematical study of the meaning of programming languages and models of computation. The formal semantics of a language is given by a mathematical model… …   Wikipedia

  • General semantics — The term General Semantics refers to a non Aristotelian educational discipline created by Alfred Korzybski (1879–1950) during the years 1919 to 1933. General Semantics stands distinct from semantics, a different subject. The name technically… …   Wikipedia

  • Game semantics — (German: dialogische Logik) is an approach to formal semantics that grounds the concepts of truth or validity on game theoretic concepts, such as the existence of a winning strategy for a player, somewhat resembling Socratic dialogues or medieval …   Wikipedia

  • Musical semantics — Music is one of the oldest, and most basic, socio cognitive domains of the human species. Primate vocalizations are mainly determined by music like features (such as pitch, amplitude and frequency modulations, timbre and rhythm), and it is… …   Wikipedia

  • Algorithms for Recovery and Isolation Exploiting Semantics — In computer science, Algorithms for Recovery and Isolation Exploiting Semantics, or ARIES is a recovery algorithm designed to work with a no force, steal database approach; it is used by IBM DB2, Microsoft SQL Server and many other database… …   Wikipedia

  • Python syntax and semantics — The syntax of the Python programming language is the set of rules that defines how a Python program will be written and interpreted (by both the runtime system and by human readers). Python was designed to be a highly readable language. It aims… …   Wikipedia

  • Language in Thought and Action — is a book on semantics by Samuel Ichiye Hayakawa in consultation with Leo Hamalian and Geoffrey Wagner. It was originally published in 1939; its Library of Congress catalog number is 64 10333.It contains an excellent bibliography.External links …   Wikipedia

  • Executable UML — Executable UML, often abbreviated to xtUML [Example usage: http://www.techonline.com/community/tech topic/37519] or xUML [Example usage: http://www.kc.com/xuml.php] , is the evolution of the Shlaer Mellor method to UML. Executable UML graphically …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”