Abstract
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.
Similar content being viewed by others
REFERENCES
J. A. Bergstra, J. Hearing, and P. Klint (eds.), Algebraic Specifications, ACM Press, Addison-Wesley, Reading, Mass. (1989).
P. Lincoln, M. Clavel, S. Eker, and J. Meseguer, “Principles of Maude,” in: J. Meseguer (ed.), Proc. 1st Intern. Workshop on Rewriting Logic, Vol. 4, Asilomar, California (1996) (Electronic Notes Theor. Comp. Sci.).
H. Kirchner, P.-E. Moreau, P. Borovanskiy, C. Kirchner, and M. Vittek; “A logical framework based on computational systems,” in: J. Meseguer (ed.), Proc. 1st Intern. Workshop on Rewriting Logic, Vol. 4, Asilomar, California (1996) (Electronic Notes Theor. Comp. Sci.).
K. Futatsugi and T. Sawada, “Cafe as an extensible specification environment,” in: Proc. of the Kunming Intern. CASE Symp. (Kunming, China) (1994).
A. A. Letichevskii and Yu. V. Kapitonova, “Algebraic programming in the APS system,” in: Proc. ISSAC'90 (Tokyo), ACM, New York (1990), pp. 68-75.
A. A. Letichevskii, Yu. V. Kapitonova, and S. V. Konozenko, “Optimization of algebraic programs,” in: Proc. ISSAC'91 (Bonn), ACM, New York (1991), pp. 370-376.
A. A. Letichevskii, Yu. V. Kapitonova, and S. V. Konozenko, “Computations in APS,” Theor. Comp. Sci., 119, 145-171 (1993).
J.-P. Jouannaud and S. Kaplan (eds.), Proc. Intern. Workshop on Conditional Term Rewriting Systems, Springer, Berlin (1988).
P. Lescanne (ed.), Rewriting Techniques and Applications, Lect. Notes Comp. Sci., 256 (1987).
A. A. Letichevskii, “Mixed computations and optimization of programs,” Programming, No. 1, 69-76 (1990).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Letichevskii, A.A., Khomenko, V.V. A Rewriting Machine and Optimization of Strategies of Term Rewriting. Cybernetics and Systems Analysis 38, 637–649 (2002). https://doi.org/10.1023/A:1021819523233
Issue Date:
DOI: https://doi.org/10.1023/A:1021819523233