A Denotational Semantics of CLU

Author(s)
Scheifler, Robert W.
Thumbnail
DownloadMIT-LCS-TR-201.pdf (6.331Mb)
Advisor
Liskov, Barbara H.
Metadata
Show full item record
Abstract
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.
Date issued
1978-05
URI
https://hdl.handle.net/1721.1/149489
Series/Report no.
MIT-LCS-TR-201
Collections