Dictionary    Maps    Thesaurus    Translate    Advanced >   


Tip: Click Thesaurus above for synonyms. Also, follow synonym links within the dictionary to find definitions from other sources.

1. The Free On-line Dictionary of Computing (30 December 2018)
domain theory

    A branch of mathematics introduced by Dana Scott in
   1970 as a mathematical theory of programming languages, and
   for nearly a quarter of a century developed almost exclusively
   in connection with denotational semantics in computer
   science.

   In denotational semantics of programming languages, the
   meaning of a program is taken to be an element of a domain.  A
   domain is a mathematical structure consisting of a set of
   values (or "points") and an ordering relation, <= on those
   values.  Domain theory is the study of such structures.

   ("<=" is written in LaTeX as \subseteq)

   Different domains correspond to the different types of object
   with which a program deals.  In a language containing
   functions, we might have a domain X -> Y which is the set of
   functions from domain X to domain Y with the ordering f <= g
   iff for all x in X, f x <= g x.  In the pure lambda-calculus
   all objects are functions or applications of functions to
   other functions.  To represent the meaning of such programs,
   we must solve the recursive equation over domains,

   	D = D -> D

   which states that domain D is (isomorphic to) some function
   space from D to itself.  I.e. it is a fixed point D = F(D)
   for some operator F that takes a domain D to D -> D.  The
   equivalent equation has no non-trivial solution in set
   theory.

   There are many definitions of domains, with different
   properties and suitable for different purposes.  One commonly
   used definition is that of Scott domains, often simply called
   domains, which are omega-algebraic, consistently complete
   CPOs.

   There are domain-theoretic computational models in other
   branches of mathematics including dynamical systems,
   fractals, measure theory, integration theory,
   probability theory, and stochastic processes.

   See also abstract interpretation, bottom, pointed
   domain.

   (1999-12-09)


Common Misspellings >
Most Popular Searches: Define Misanthrope, Define Pulchritudinous, Define Happy, Define Veracity, Define Cornucopia, Define Almuerzo, Define Atresic, Define URL, Definitions Of Words, Definition Of Get Up, Definition Of Quid Pro Quo, Definition Of Irreconcilable Differences, Definition Of Word, Synonyms of Repetitive, Synonym Dictionary, Synonym Antonyms. See our main index and map index for more details.

©2011-2024 ZebraWords.com - Define Yourself - The Search for Meanings and Meaning Means I Mean. All content subject to terms and conditions as set out here. Contact Us, peruse our Privacy Policy