Jump to content

Semantics (computer science)

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by 132.206.3.150 (talk) at 17:35, 11 December 2003. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

In theoretical computer science formal semantics is 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 to represent the possible computations described by the language.

There are several approaches to formal semantics. These include:

The field of formal semantics also studies the relations between different models, and the relations between different approaches to meanning.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Semantics_(computer_science)&oldid=1932761"