D
Dana Scott
Researcher at University of California, Berkeley
Publications - 100
Citations - 13197
Dana Scott is an academic researcher from University of California, Berkeley. The author has contributed to research in topics: Denotational semantics & Computability. The author has an hindex of 42, co-authored 98 publications receiving 12650 citations. Previous affiliations of Dana Scott include University of Chicago & Yale University.
Papers
More filters
Journal ArticleDOI
Finite automata and their decision problems
Michael O. Rabin,Dana Scott +1 more
TL;DR: 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.
Book
Continuous Lattices and Domains
TL;DR: In this paper, the authors develop the mathematical foundations of partially ordered sets with completeness properties of various degrees, in particular directed complete ordered sets and complete lattices, and model the notion that one element 'finitely approximates' another, something closely related to intrinsic topologies linking order and topology.
Book
A Compendium of Continuous Lattices
TL;DR: In this article, the authors present a primer of complete lattices and complete topology of continuous lattices, including the Scott topology and meet-continuous lattices.
Book
Data Types as Lattices
TL;DR: In this article, the meaning of many kinds of expressions in programming languages can be taken as elements of certain spaces of partial objects, and these spaces are modeled in one universal domain.
Book
Outline of a Mathematical Theory of Computation
TL;DR: 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 ignored because the machines that the programs of study run on are not capable of dealing with such an abstract level of understanding.