Advertisement

Cybernetics and Systems Analysis

, Volume 38, Issue 5, pp 637–649 | Cite as

A Rewriting Machine and Optimization of Strategies of Term Rewriting

  • A. A. Letichevskii
  • V. V. Khomenko
Article

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.

term rewriting rewriting machine algebraic programming algebraic specification optimization of programs 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

REFERENCES

  1. 1.
    J. A. Bergstra, J. Hearing, and P. Klint (eds.), Algebraic Specifications, ACM Press, Addison-Wesley, Reading, Mass. (1989).Google Scholar
  2. 2.
    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.).Google Scholar
  3. 3.
    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.).Google Scholar
  4. 4.
    K. Futatsugi and T. Sawada, “Cafe as an extensible specification environment,” in: Proc. of the Kunming Intern. CASE Symp. (Kunming, China) (1994).Google Scholar
  5. 5.
    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.Google Scholar
  6. 6.
    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.Google Scholar
  7. 7.
    A. A. Letichevskii, Yu. V. Kapitonova, and S. V. Konozenko, “Computations in APS,” Theor. Comp. Sci., 119, 145-171 (1993).Google Scholar
  8. 8.
    J.-P. Jouannaud and S. Kaplan (eds.), Proc. Intern. Workshop on Conditional Term Rewriting Systems, Springer, Berlin (1988).Google Scholar
  9. 9.
    P. Lescanne (ed.), Rewriting Techniques and Applications, Lect. Notes Comp. Sci., 256 (1987).Google Scholar
  10. 10.
    A. A. Letichevskii, “Mixed computations and optimization of programs,” Programming, No. 1, 69-76 (1990).Google Scholar

Copyright information

© Plenum Publishing Corporation 2002

Authors and Affiliations

  • A. A. Letichevskii
    • 1
  • V. V. Khomenko
    • 2
  1. 1.Cybernetics InstituteNational Academy of Sciences of UkraineKievUkraine
  2. 2.Taras Shevchenko UniversityKievUkraine

Personalised recommendations