An experimental logic based on the fundamental deduction principle
Artificial Intelligence
Using an enabling technology to reengineer legacy systems
Communications of the ACM
Software Reengineering
| Hi-index | 0.00 |
Shows theoretical and practical results of a research project developed by ArtInSoft SA. First, it shows the theoretical basis required to automatically translate computer programs by means of deduction. As it is implemented in the Logistica language, deduction is performed by an expression rewriting process which preserves equivalence in each deduction step, therefore guaranteeing translation correctness. Then, the paper shows the technical feasibility of building such an automatic translator by applying the mentioned method on an RPG II (Report Program Generator) to Oracle PL/SQL and Oracle Forms translator which is called the RESCUE system. Several translation examples are presented.