Edited by Achim Jung, with contributions by Marcelo Fiore, Achim Jung, Eugenio Moggi, Peter O'Hearn, Jon Riecke, Guiseppe Rosolini and Ian Stark.
Bulletin of the EATCS, 59:227–256, June 1996. Also published as Technical Report CSR-96-2, University of Birmingham School of Computer Science, 1996.
Fetch a preprint of the article (PDF, 376k). Go to other papers, talks or my home page.
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.
@Article{jung+:domdsh,
author = {Marcelo Fiore and Achim Jung and Eugenio Moggi and Peter
O'Hearn and Jon Riecke and Guiseppe Rosolini and Ian Stark},
title = {Domains and Denotational Semantics: History, Accomplishments
and Open Problems},
journal = {Bulletin of the EATCS},
year = 1996,
volume = 59,
month = jun,
pages = {227--256},
note = {Also published as Technical Report CSR-96-2, University of
Birmingham School of Computer Science},
url = {http://www.inf.ed.ac.uk/~stark/domdsh.html},
pdf = {http://www.inf.ed.ac.uk/~stark/domdsh.pdf}
}