A Denotational Semantics of CLU
| dc.contributor.advisor | Liskov, Barbara H. | en_US |
| dc.contributor.author | Scheifler, Robert W. | en_US |
| dc.date.accessioned | 2023-03-29T15:02:15Z | |
| dc.date.available | 2023-03-29T15:02:15Z | |
| dc.date.issued | 1978-05 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149489 | |
| dc.description.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. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-201 | |
| dc.title | A Denotational Semantics of CLU | en_US |
| dc.identifier.oclc | 04209229 |
