Inhalt:
In diesem Praktikum werden abstrakte Maschinen zur Implementierung verschiedener
Narrowing-Relationen auf einer Sun Workstation unter Unix implementiert.
Voraussetzungen:
Geringe Kenntnisse des Compilerbaus sind hilfreich.
Zuordnung zu den Kernfächern oder Vertiefungsgebieten: