Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen:
doi:10.22028/D291-37898
Titel: | Implementierungen Abstrakter Datentypen in terminaler Algebrasemantik |
VerfasserIn: | Rome, Erich |
Sprache: | Deutsch |
Erscheinungsjahr: | 1981 |
Erscheinungsort: | Bonn |
Freie Schlagwörter: | Abstract data types terminal algebra semantics T-implementations conditional axioms correctness proofs t-extensions t-enrichments consistency completeness t-consistency t-completeness context categories |
DDC-Sachgruppe: | 004 Informatik |
Dokumenttyp: | Forschungsbericht (Report zu Forschungsprojekten) |
Abstract: | In this paper we add a concept of implementation of abstract data types (adts) by adts in terminal algebra semantics to the notions of terminal algebra semantics of adts, which are introduced in [HR 79]. Our concept corresponds to that of initial implementations of adts described in [EKP 79a]. We give also a correctness proof of a T-implementation of stack (nat) by array (nat‚nat) as an application example for the methods developed in [HR 79]. As in [EKP 79a], the implementing data type is extended in two steps, called SORT-IMPLEMENTATION and OPERATIONS-IMPLEMENTATION, to take over the tasks of the implemented type. These two steps are syntactical constructions. The semantics of the T-implementation concept is layed down in the EXTENSION- and RESTRICTION-step. A third step of the initial case, called IDENTIFICATION, is not necessary here for reasons which result from the use of the terminal algebra semantics and which are explained in this paper. As in [EKP 79a], the concept of T-implementation distinguishes syntax, semantics and correctness. |
Link zu diesem Datensatz: | urn:nbn:de:bsz:291--ds-378983 hdl:20.500.11880/35031 http://dx.doi.org/10.22028/D291-37898 |
Schriftenreihe: | Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI |
Band: | 81,5 |
Datum des Eintrags: | 30-Jan-2023 |
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-81-05_Rome_Implementierungen-Abstrakter-Datentypen-in-terminaler-Algebrasemantik.pdf | 100,31 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.