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öße | Format | |
---|---|---|---|---|
SEKI-Report-SR-92-11_Avenhaus-Becker_Conditional-Rewriting-modulo-a-Built=in-Algebra.pdf | 5,8 MB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.