A DENOTATIONAL SEMANTICS OF CLU
Robert W. Scheifler · DSpace@MIT (Massachusetts Institute of Technology) · 1978
A denotational semantics of CLU, an object-oriented language supporting data abstractions, is presented. The definition is based on Scott's lattice-theoretic approach to the theory of computation. Modules, the basic unit of compilation, are represented in terms of a set of recursively defined domains called the abstract syntax.