出典:Wikipedia
出典:『Wikipedia』 (2011/05/28 14:32 UTC 版)
In programming language theory, 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 that describes the possible computations described by the language.