Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-38584
Titel: Elimination von Rekursionen
VerfasserIn: Petersen, Ulrike
Sprache: Deutsch
Erscheinungsjahr: 1983
Erscheinungsort: Kaiserslautern
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Forschungsbericht (Report zu Forschungsprojekten)
Abstract: Operationen sind in algorithmischen Spezifikationen oft rekursiv beschrieben. Um bei der Implementierung solcher Spezifikationen effiziente Programme zu erhalten, ist es notwendig, Rekursionen in eine repetitive Form zu überführen. Ausgehend von einem Klassifikationsschema für rekursive Funktionen werden zwei Techniken zur Entrekursivierung vorgestellt, die auf der abstrakten Ebene arbeiten. Zunächst werden einige Transformationsschemata von Bauer und Hössner [BaWö 81] übernommen, modifiziert und erweitert, und in einem deterministischen Transformationsregelsystem zusammengefaßt, wobei es wesentlich ist, die Semantik der verwendeten Operationen zu berücksichtigen. Anschließend wird die heuristische unfold/fold-Methode von Darlington und Burstall [DaBu 77] beschrieben und einige ihrer Anwendungsmöglichkeiten dargestellt.
Operations in algorithmic specifications are often described recursively. To obtain efficient programs for implementing such specifications, it is necessary to transform recursive functions into iterative ones. Starting with a Classification scheme for recursive functions, two technics for recursion removal are proposed, which work at abstract levels. At first some transformation schemes from Bauer and Wössner [Bawö 81] are modified, augmented and combined in a rule based transformation system, where it is essential to consider the semantics of the operations used. Subsequently the heuristic unfold/fold method of Darlington and Burstall [DaBu 77] is described and illustrated by examples.
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-385843
hdl:20.500.11880/35046
http://dx.doi.org/10.22028/D291-38584
Schriftenreihe: Memo SEKI : SEKI-Projekt / Deutsches Forschungszentrum für Künstliche Intelligenz, DFKI
Band: 83,10
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 
Memo-SEKI-83-10_Petersen_Elimination-von-Rekursionen.pdf70,37 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.