Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-40859
Titel: Conditional Rewriting modulo a Built-in Algebra
VerfasserIn: Avenhaus, Jürgen
Becker, Klaus
Sprache: Englisch
Erscheinungsjahr: 1992
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: We present a method to integrate built-in operations that are described by a given built-in algebra into conditional rewriting. 'First, equational specifications will be assigned a suitable semantics that takes into account the predefined structures. The interpretation of ”semantically and syntactically mixed objects” is based on an appropriate introduction of sort hierarchies that allows to separate semantical and syntactical considerations. As a consequence of this separation a great deal of ”classical rewrite theory” as for instance a critical pair lemma can be generalized to our context. Further we are able to construct appropriate well-founded orderings to guarantee the termination of the rewrite relation that allow to integrate semantical informations from the given built-in algebra. In order to illustrate the ideas several examples concerning built-in arithmetic are presented.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-408594
hdl:20.500.11880/37693
http://dx.doi.org/10.22028/D291-40859
Schriftenreihe: SEKI-Report / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI [ISSN 1437-4447]
Band: 92,11
Datum des Eintrags: 23-Mai-2024
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-Report-SR-92-11_Avenhaus-Becker_Conditional-Rewriting-modulo-a-Built=in-Algebra.pdf5,8 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.