|
|||||
|
|
A Rewriting Machine and Optimization of Strategies of Term Rewriting |
|
| Authors: | A A Letichevskii V V Khomenko |
| Affiliation: | (1) Cybernetics Institute, National Academy of Sciences of Ukraine, Kiev, Ukraine;(2) Taras Shevchenko University, Kiev, Ukraine |
| 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. |
| Keywords: | term rewriting rewriting machine algebraic programming algebraic specification optimization of programs |
| 本文献已被 SpringerLink 等数据库收录！ | |