On a general solution to the problem of equivalent transformations of program schemes |
| |
| Authors: | R. I. Podlovchenko |
| |
| Affiliation: | (1) Computer Research Center, Moscow State University, Vorob’evy gory, 119899 Moscow, Russia |
| |
| Abstract: | Schemes of programs without procedures are considered, and a rich family of scheme equivalences is studied. The structure of equivalent schemes is analyzed in order to build transformation systems that are complete with respect to equivalences from this family. The first result of the research is reported, which is that all equivalences from the family in question are solvable. |
| |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ |
|
