Contents

• Contents
• Einleitung
• Sorten als First-Class Citizens
• Sortenbedingungen
  • Bedingungen an die Ordnung "uber den Sorten
  • Bedingungen an die Instantiierung der Sorten
• Dynamische GLB-Berechnung
  • Modell_1: Gemeinsame Sorten-/Operatorbasis mit subsumes-Pr"adikat
  • Modell_2: Getrennte Sorten-/Operatorbasis und dynamischer GLB
• Statische GLB-Berechnung
  • Horizontale Vorcompilation
  • Modell_3: Getrennte Sorten-/Operatorbasis und statischer GLB
• Ausblick
• References
• Unifikation
  • Unifikation mit ,,:``-Notation f"ur getypte Variablen
  • Modell_1
  • Modell_2
  • Modell_3
    • Vorcompilation
    • Tools zur Pr"ufung der Restriktionen
    • UNSUBSUMES und RESUBSUMES
    • Unifikation mit :-Notation f"ur getypte Variablen
• Erweiterung um Sortbase
• Ein Beispieldialog "uber RTPLAST
• About this document ...