A Denotational Semantics of CLU
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...
| Main Author: | |
|---|---|
| Other Authors: | |
| Published: |
2023
|
| Online Access: | https://hdl.handle.net/1721.1/149489 |