lifted domain

(theory)In domain theory, a domain with a new bottomelement added. Given a domain D, the lifted domain, lift Dcontains an element lift d corresponding to each element d inD with the same ordering as in D and a new element bottomwhich is less than every other element in lift D.

In functional languages, a lifted domain can be used tomodel 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 terminateyielding the values (K bottom) or bottom respectively.

(In LaTeX, a lifted domain or element is indicated by asubscript \\perp).

See also tuple.

单词	lifted domain
释义	lifted domain lifted domain (theory)In domain theory, a domain with a new bottomelement added. Given a domain D, the lifted domain, lift Dcontains an element lift d corresponding to each element d inD with the same ordering as in D and a new element bottomwhich is less than every other element in lift D. In functional languages, a lifted domain can be used tomodel 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 terminateyielding the values (K bottom) or bottom respectively. (In LaTeX, a lifted domain or element is indicated by asubscript \\perp). See also tuple.
随便看	chiliastic flow control module flow control operator flow control packet flow control parameter negotiation flow control processor flow control program flow control protocol error flow control rx unsupported count flow control technologies flow control total blocks sent flow control unit flow control valve flow-control valve flow cost lowering problem flow counter flow-counterbalanced capillary electrophoresis flow country flow country (scotland) francis jourdain francis jourdain (painter) francis jw roughton francis key francis kiernan francis leopold mcclintock