Ein interaktives und syntaxorientiertes Eingabesystem für algebraische Spezifikationen Band I

Abstract

Das vorgestellte System gestattet die Eingabe von Spezifikationen in ASPIK: Es fordert die Eingabe der nächsten syntaktischen Komponente an, anlysiert sie, führt kontextsensitive Tests durch und unterstützt unmittelbare Fehlerkorrekturen. Soweit korrekte, evtl. noch unvollständige Spezifikationen können zur späteren Weiterverarbeitung gespeichert werden. Teil des Systems ist ein Kommando, (das die Signatur kompletter Spezifikationshierarchien mit Instanziierungen listet, sowie ein Normalisierungsverfahren für die Erkennung aquivalenter Instanziierungsfolgen.

The system presented manages the input of specifications written in ASPIK: the next syntactical component is prompted for, analysed and tested for context sensitive errors. Any errors may be corrected immediately. A possibly incomplete but correct specification may be stored for future manipulations. The system offers a command to list the signature of a complete hierarchy of specifications including instantiations and a normalizing algorithm used to recognize equivalent patterns of instantiations.