Share This Author
Continuous Lattices and Domains
Preface Acknowledgements Foreword Introduction 1. A primer on ordered sets and lattices 2. Order theory of domains 3. The Scott topology 4. The Lawson Topology 5. Morphisms and functors 6. Spectral…
A Compendium of Continuous Lattices
O. A Primer of Complete Lattices.- 1. Generalities and notation.- 2. Complete lattices.- 3. Galois connections.- 4. Meet-continuous lattices.- I. Lattice Theory of Continuous Lattices.- 1. The…
Finite Automata and Their Decision Problems
Finite automata are considered as instruments for classifying finite tapes as well as generalizations of the notion of an automaton are introduced and their relation to the classical automata is determined.
Domains for Denotational Semantics
- D. Scott
- 12 July 1982
This paper discusses many examples in an informal way that should serve as an introduction to the theory of domains and proves many things that were done previously axiomatically can now be proved in a straightfoward way as theorems.
Data Types as Lattices
- D. Scott
- MathematicsSIAM J. Comput.
- 1 September 1976
The meaning of many kinds of expressions in programming languages can be taken as elements of certain spaces of “partial” objects. In this report these spaces are modeled in one universal domain…
Outline of a Mathematical Theory of Computation
- D. Scott
However, Scott does realize that the approach argued for above is simply an argument for an approach that accomodates human understanding of computation and that the operational approach must not be…
Foundational aspects of theories of measurement
Disciplines as diverse as cosmology and social psychology provide evidence that it is nearly useless to have an exactly formulated quantitative theory if empirically feasible methods of measurement cannot be developed for a substantial portion of the quantitative concepts of the theory.
Concurrent constraint programming languages
This thesis develops the framework of concurrent constraint programming, and presents a compiler for a (superset of) Atomic Herbrand, a cc language over the Herbrand constraint system, and a number of constraint systems which may be used to instantiate the cc family of languages.