Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. O. Aioni. A System for the Automatic Transformation of Logic programs. Technical Report Report R 0195, Electronics Department, University of Roma Tor Vergata, 1995.
2. F. Alexandre, K. Bsaïes, J.P. Finance, and A. Quéré. Spes: A System for Logic Program Transformation. In Proceedings of the International Conference on Logic Programming and Automated reasoning (LPAR '92), LNCS 624, pages 445–447. Springer-Verlag, 1992.
3. M. Baudinet. Logic Programming Semantics: Techniques and Applications. PhD thesis, Stanford University, Stanford, California, 1989.
4. A. Bossi and N. Cocco. Replacement Can Preserve Termination. In this volume.
5. A. Bossi, N. Cocco, and S. Etalle. Transformation of Left Terminating Programs: the Reordering Problem. In LOPSTR '95 — Fifth International Workshop on Logic Program Synthesis and Transformation, number 1048 in LNCS, pages 33–45. Springer-Verlag, 1995.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献