Publisher's Synopsis
The first half of this advanced-level book introduces readers to the techniques required to solve domain equations and understand the solutions. The second half illustrates the theory by using the domains to give semantics to various programming languages.;The book is centred on Scott's information systems which are based on the notion that an object (program) should be identified with the set of propositions, in some well-chosen language, that are true for it.