DATA TYPES AS LATTICES

Abstract

The meaning of many kinds of expressions in programming languages can be taken as elements of certain spaces of “partial” object. In this report these spaces are modelled in one universal domain Pw. the set of all subsets of the integers. This domain renders the connection of this semantic theory with the ordinary theory of number theoretic (especially general recursive) functions clear and straightforward.