Created on March 5, 2013, 8:21 p.m. by Hevok
& updated by
on May 2, 2013, 4:39 p.m.
The first and most natural Variant of Semantics is the **Intentional Semantics. So the Meaning intended by the user. This restricts the set of all possible Meanings and Models to the Meaning intended by the human User (e.g. the computation of the factorial)
On the other hand we have the formal Semantics. The formal Semantics for instance gives the mathematical Definition (f : n -> n!).
For Programming Language we also have the Procedural Semantics. The Procedural Semantics describes the behavior of the program at execution time. It means the Meaning of a Language expression is the Procedure that takes place internally whenever the expression does occur.