evelopment of Correct Transformation Schemata for Prolog Pr...

evelopment of Correct Transformation Schemata for Prolog Programs

inproceedings
Norbert E. Fuchs
evelopment of Correct Transformation Schemata for Prolog Programs
1997
1463
Proceedings of the Seventh International Workshop on Logic Program Synthesis and Transformation LOPSTR '97
Lecture Notes in Computer Science