Semantics

This section contains the exposition of the semantics of the expressions. The exposition is done with just the necessary rigor to understand the meaning of any expression without being complete or clearly delineated between denotational, operational and axiomatic aspects.

Contents:

• Expressions