Sciweavers

ASIAN
1999
Springer
114views Algorithms» more  ASIAN 1999»
14 years 4 months ago
Entailment of Non-structural Subtype Constraints
Entailment of subtype constraints was introduced for constraint simplification in subtype inference systems. Designing an efficient algorithm for subtype entailment turned out to...
Joachim Niehren, Tim Priesnitz