Set constraint
In mathematics and theoretical computer science, a set constraint is an equation or an inequation between sets of terms.Similar to systems of (in)equations between numbers, methods are studied for solving systems of set constraints. Different approaches admit different operators (like "∪", "∩", "\", and function application) on sets and different (in)equation relations (like "=", "⊆", and "⊈") between set expressions. Systems of set constraints are useful to describe (in particular infinite) sets of ground terms.They arise in program analysis, abstract interpretation, and type inference.
Link from a Wikipage to another Wikipage
primaryTopic
Set constraint
In mathematics and theoretical computer science, a set constraint is an equation or an inequation between sets of terms.Similar to systems of (in)equations between numbers, methods are studied for solving systems of set constraints. Different approaches admit different operators (like "∪", "∩", "\", and function application) on sets and different (in)equation relations (like "=", "⊆", and "⊈") between set expressions. Systems of set constraints are useful to describe (in particular infinite) sets of ground terms.They arise in program analysis, abstract interpretation, and type inference.
has abstract
In mathematics and theoretical ...... pretation, and type inference.
@en
Link from a Wikipage to an external page
Wikipage page ID
43,536,828
page length (characters) of wiki page
Wikipage revision ID
994,966,773
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
hypernym
comment
In mathematics and theoretical ...... pretation, and type inference.
@en
label
Set constraint
@en