|
M. P. Fiore and A. Jung and E. Moggi and P. O'Hearn
and J. Riecke and G. Rosolini and I. Stark. Domains and Denotational Semantics: History,Accomplishments and Open Problems. Bulletin of EATCS, 1996, vol. 59, 227--256
In this collection we try to give an overview of some
selected topics in Domain Theory and Denotational
Semantics. In doing so, we first survey the mathematical
universes which have been used as semantic domains. The
emphasis is on those ordered structures which have been
introduced by Dana Scott in 1969 and which figure under
the name (Scott-) domains. After surveying developments in
the concrete theory of domains we describe two newer
developments, the axiomatic and the synthetic approach. In
the second part we look at three computational phenomena
in detail, namely, sequential computation, polymorphism,
and mutable state, and at the challenges that these pose
for a mathematical model.
Long and dense, but surveys a set of important foundational problems.
Posted to theory by Ehud Lamm on 3/6/03; 7:01:05 AM
|
|
Domains and Denotational Semantics: History, Open Problems
