0%

coalesced sum

C c

Transcription

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

Definition of coalesced sum words

  • noun Technical meaning of coalesced sum (theory)   (Or "smash sum") In domain theory, the coalesced sum of domains A and B, A (+) B, contains all the non-bottom elements of both domains, tagged to show which part of the sum they come from, and a new bottom element. D (+) E = { bottom(D(+)E) } U { (0,d) | d in D, d /= bottom(D) } U { (1,e) | e in E, e /= bottom(E) } The bottoms of the constituent domains are coalesced into a single bottom in the sum. This may be generalised to any number of domains. The ordering is bottom(D(+)E) <= v For all v in D(+)E (i,v1) <= (j,v2) iff i = j & v1 <= v2 "<=" is usually written as LaTeX \sqsubseteq and "(+)" as LaTeX \oplus - a "+" in a circle. 1

Information block about the term

Parts of speech for Coalesced sum

noun
adjective
verb
adverb
pronoun
preposition
conjunction
determiner
exclamation

See also

Matching words

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