#### Filter Results:

- Full text PDF available (35)

#### Publication Year

1958

2017

- This year (1)
- Last 5 years (12)
- Last 10 years (19)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Michael O. Rabin, Dana S. Scott
- IBM Journal of Research and Development
- 1959

Finite automata are considered in this paper a s instruments for classifying finite tapes. Each onetape automaton defines a set of tapes, a two-tape automaton defines a set of pairs of tapes, et cetera. The structure of the defined sets is studied. Various generalizations of the notion of an automaton are introduced and their relation to the classical… (More)

- Dana S. Scott
- ICALP
- 1982

The purpose of the theory of domains is to give models for spaces on which to define computable functions. The kinds of spaces needed for denotational sematics involve not only spaces of higher type (e.g. function spaces) but also spaces defined reeursively (e.g. reflexive domains). Also required are many special domain constructs (or functors) in order to… (More)

- Dana S. Scott
- SIAM J. Comput.
- 1976

- Dana S. Scott
- Theor. Comput. Sci.
- 1993

- Dana S. Scott, Patrick Suppes
- J. Symb. Log.
- 1958

- Carl A. Gunter, Dana S. Scott
- Handbook of Theoretical Computer Science, Volume…
- 1990

- A . MARTIN Communicated, Dana S. Scott
- 2007

Let R be the set of all sets of natural numbers. A collection (ü of subsets of R satisfies a reduction principle if, for every A and 5 G d , there are A' and B'E® such that A'QA^B'QB, A'UB'=*AUB, and AC\B' is empty. For n>0 let Hi and S« be, respectively the set of u i subsets of R and the set of 2£ subsets of R. It is known that Ilj and S2 satisfy… (More)

- Dana S. Scott
- Symposium on Semantics of Algorithmic Languages
- 1971

This paper represents a continuation of the program sketched in Outline of a Mathematical Theory of Computation (PRG 2), The language under consideration is the elementary languag~ of flow diagrams where the level of analysis concerns the flo'~ of control but not any questions of storage, assignment. block structure or the use of parameters. A new feature… (More)

- Steven Awodey, Lars Birkedal, Dana S. Scott
- Electr. Notes Theor. Comput. Sci.
- 1999

- Dana S. Scott
- Lambda-Calculus and Computer Science Theory
- 1975