A Rewriting Machine and Optimization of Strategies of Term Rewriting

A Rewriting Machine and Optimization of Strategies of Term Rewriting

An algebraic specification of a new rewriting machine for fast rewriting of terms is considered. Theorems on the correctness of this specification are proved. A method for optimization of a strategy of iterative rewriting is proposed. [PUBLICATION ABSTRACT]

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Cybernetics and systems analysis 2002-09, Vol.38 (5), p.637
Hauptverfasser: Letichevskii, A A, Khomenko, V V
Format: Artikel
Sprache:eng
Schlagworte:
Algebra
Computer programming
Cybernetics
Mathematical models
Optimization
Paradigms
Programming languages
Semantics
Strategic planning
Studies
Variables
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:An algebraic specification of a new rewriting machine for fast rewriting of terms is considered. Theorems on the correctness of this specification are proved. A method for optimization of a strategy of iterative rewriting is proposed. [PUBLICATION ABSTRACT]
ISSN:1060-0396
1573-8337