MetaSoft primer. Towards a metalanguage for applied denotational semantics (Q1095634)

The book is devoted to a simplified version of denotational semantics where sets are used in the place of reflexive domains and where jumps are described without continuations. The book consists of two parts. In part one a general theory of chain-complete partially ordered sets and related topics is described, a kernel of a metalanguage for a set-theory based denotational semantics is introduced. Part two is an example of a definition of an existing programming language. A subset of Pascal is choosen for that purpose. Only a necessary minimum of the language constructs is included in the subset in order to discuss type-correctness issues.