[ Course Documents ] : [ Semantics ]

Previous Contents Next Keyword Index

Denotational Specification Process

1. Define a mathematical object for each language entity

2. Define a function that maps instances of the language entities onto instances of the corresponding mathematical objects