Sciweavers

ASIAN
1999
Springer
114views Algorithms» more  ASIAN 1999»
13 years 8 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