Next: Bedingungen an die Up: Integration von Sortenals ausgezeichnete Previous: Sorten als First-Class

Sortenbedingungen

F"ur die Sortenunifikation ist die GLB-Berechnung elementar. Damit diese sinnvoll ist, m"ussen einige Bedingungen an die Ordnung, die die Hierarchie der Sorten aufbaut und an die Instantiierung der Sorten, die durch das assertionale Wissen gegeben ist, erf"ullt sein.



Harold Boley & Victoria Hall (hall@dfki.uni-kl.de)