0%

lifted domain

L l

Transcription

    • US Pronunciation
    • US IPA
    • US Pronunciation
    • US IPA

Definition of lifted domain words

  • noun Technical meaning of lifted domain (theory)   In domain theory, a domain with a new bottom element added. Given a domain D, the lifted domain, lift D contains an element lift d corresponding to each element d in D with the same ordering as in D and a new element bottom which is less than every other element in lift D. In functional languages, a lifted domain can be used to model a constructed type, e.g. the type data LiftedInt = K Int contains the values K minint .. K maxint and K bottom, corresponding to the values in Int, and a new value bottom. This denotes the fact that when computing a value v = (K n) the computation of either n or v may fail to terminate yielding the values (K bottom) or bottom respectively. (In LaTeX, a lifted domain or element is indicated by a subscript \perp). See also tuple. 1
Just one definition for lifted domain

Information block about the term

Parts of speech for Lifted domain

noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation
Full grammatical hierarchy of Lifted domain

See also

Matching words

Was this page helpful?
Yes No
Thank you for your feedback! Tell your friends about this page
Tell us why?