**Domain theory** is a branch of mathematics that studies special kinds of partially ordered sets (posets) commonly called **domains**. Consequently, domain theory can be considered as a branch of order theory. The field has major applications in computer science, where it is used to specify denotational semantics, especially for functional programming languages. Domain theory formalizes the intuitive ideas of approximation and convergence in a very general way and has close relations to topology. An alternative important approach to denotational semantics in computer science is that of metric spaces.

Read more about Domain Theory: Motivation and Intuition, A Guide To The Formal Definitions, Important Results, Generalizations

### Other articles related to "domain theory, domain, domains, theory":

... An example of EBL using a perfect

**domain theory**is a program that learns to play chess by being shown examples ... A

**domain theory**is perfect or complete if it contains, in principle, all information needed to decide any question about the

**domain**... For example, the

**domain theory**for chess is simply the rules of chess ...

**Domain Theory**

... relation Continuous poset Continuous lattice Algebraic poset Scott

**domain**Algebraic lattice Scott information system Powerdomain Scott topology Scott continuity ...

**Domain Theory**- Generalizations

... Synthetic

**domain theory**... Topological

**domain theory**A continuity space is a generalization of metric spaces and posets, that can be used to unify the notions of metric spaces and

**domains**...

... An especially good application

**domain**for EBL is natural language processing (NLP) ... Here a rich

**domain theory**, i.e ... parsing system, where the utility problem was solved by omitting the original grammar (

**domain theory**) and using specialized LR-parsing techniques, resulting in huge speed-ups, at ...

... One of Scott's largest contributions is his formulation of

**domain theory**, allowing programs involving recursive functions and looping-control ... understanding of infinitary and continuous information through

**domain theory**and his

**theory**of information systems ... of Sciences for his conceptually oriented logical works, especially the creation of

**domain theory**, which has made it possible to extend Tarski's semantical paradigm to ...

### Famous quotes containing the words theory and/or domain:

“Won’t this whole instinct matter bear revision?

Won’t almost any *theory* bear revision?

To err is human, not to, animal.”

—Robert Frost (1874–1963)

“While you are divided from us by geographical lines, which are imaginary, and by a language which is not the same, you have not come to an alien people or land. In the realm of the heart, in the *domain* of the mind, there are no geographical lines dividing the nations.”

—Anna Howard Shaw (1847–1919)