This section repeats the above two sections using a fmmal mathematical style. Its purpose is to illustrate the power of denotational semantics to enable the full specification of a programming language's type system and semantics. Since it is machine independent, this notation can be used by language and compiler designers as they define and implement new programming languages. |