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 |
Dateien zu diesem Datensatz:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
SEKI-Memo-84-03-I_Ein-interaktives-und-syntaxorientiertes-Eingabesystem-für-algebraische-Spezifikationen_Band-I.pdf | 34,39 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.