|home | alphabetical index|
Formal semantics of programming languagesIn 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 to represent the possible computations described by the language.
There are several approaches to formal semantics. These include:
|copyright © 2004 FactsAbout.com|