We are experiencing minor difficulties with our submission forms, which we are working to resolve. If you have any issues while submitting items, please contact us at dspace-lib@mit.edu.

A Denotational Semantics of CLU

Thumbnail Image
Download
Name

MIT-LCS-TR-201.pdf

Size

6.33 MB

Format

Adobe PDF

Checksum (MD5)

e1c1b9bb48b2aedacbccfb28ebb3b7a8

Author(s)
Scheifler, Robert W.
Advisor(s)
Liskov, Barbara H.
Date Issued
May 1978
Series/Report no.
MIT-LCS-TR-201
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.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.