evelopment of Correct Transformation Schemata for Prolog Pr...

evelopment of Correct Transformation Schemata for Prolog Programs

Publication type:

inproceedings

Authors:

Norbert E. Fuchs

Title:

evelopment of Correct Transformation Schemata for Prolog Programs

Year:

1997

volume:

1463

booktitle:

Proceedings of the Seventh International Workshop on Logic Program Synthesis and Transformation LOPSTR '97

series:

Lecture Notes in Computer Science