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ößeFormat 
SEKI-MEMO-81-05_Rome_Implementierungen-Abstrakter-Datentypen-in-terminaler-Algebrasemantik.pdf100,31 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.