en.unionpedia.org

Action semantics, the Glossary

Index Action semantics

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.[1]

Table of Contents

  1. 9 relations: Aarhus University, Algebraic semantics (computer science), David Watt (computer scientist), Denotational semantics, Formal specification, Operational semantics, Peter Mosses, Semantics (computer science), University of Glasgow.

  2. Programming language semantics

Aarhus University

Aarhus University (Aarhus Universitet, abbreviated AU) is a public research university with its main campus located in Aarhus, Denmark.

See Action semantics and Aarhus University

Algebraic semantics (computer science)

In computer science, algebraic semantics is a form of axiomatic semantics based on algebraic laws for describing and reasoning about program specifications in a formal manner. Action semantics and algebraic semantics (computer science) are formal specification languages and programming language semantics.

See Action semantics and Algebraic semantics (computer science)

David Watt (computer scientist)

David Anthony Watt (born 5 November 1946) is a British computer scientist.

See Action semantics and David Watt (computer scientist)

Denotational semantics

In computer science, denotational semantics (initially known as mathematical semantics or Scott–Strachey semantics) is an approach of formalizing the meanings of programming languages by constructing mathematical objects (called denotations) that describe the meanings of expressions from the languages. Action semantics and denotational semantics are formal specification languages and programming language semantics.

See Action semantics and Denotational semantics

Formal specification

In computer science, formal specifications are mathematically based techniques whose purpose are to help with the implementation of systems and software. Action semantics and formal specification are formal specification languages.

See Action semantics and Formal specification

Operational semantics

Operational semantics is a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety or security, are verified by constructing proofs from logical statements about its execution and procedures, rather than by attaching mathematical meanings to its terms (denotational semantics). Action semantics and Operational semantics are formal specification languages and programming language semantics.

See Action semantics and Operational semantics

Peter Mosses

Peter David Mosses (born 1948) is a British computer scientist.

See Action semantics and Peter Mosses

Semantics (computer science)

In programming language theory, semantics is the rigorous mathematical study of the meaning of programming languages. Action semantics and semantics (computer science) are formal specification languages and programming language semantics.

See Action semantics and Semantics (computer science)

University of Glasgow

The University of Glasgow (abbreviated as Glas. in post-nominals) is a public research university in Glasgow, Scotland.

See Action semantics and University of Glasgow

See also

Programming language semantics

References

[1] https://en.wikipedia.org/wiki/Action_semantics

Also known as Action-Semantic Description.