Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-43792
Titel: Ein interaktives und syntaxorientiertes Eingabesystem für algebraische Spezifikationen Band I
VerfasserIn: Matheis, Hans
Sprache: Deutsch
Erscheinungsjahr: 1984
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
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.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-437927
hdl:20.500.11880/39290
http://dx.doi.org/10.22028/D291-43792
Schriftenreihe: Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI
Band: 84,3 I
Datum des Eintrags: 7-Jan-2025
Fakultät: SE - Sonstige Einrichtungen
Fachrichtung: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Professur: SE - Sonstige
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes



Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.