Author:
Leuschel Michael,Sørensen Morten Heine
Publisher
Springer Berlin Heidelberg
Reference35 articles.
1. A. Aho, R. Sethi, and J.D. Ullman. Compilers: Principles, Techniques, and Design. Addison-Wesley, 1986.
2. K. Benkerimi and P. M. Hill. Supporting transformations for the partial evaluation of logic programs. Journal of Logic and Computation, 3(5):469–486, October 1993.
3. W.-N. Chin. Automatic Methods for Program Transformation. PhD thesis, Imperial College, University of London, 1990.
4. B. Demoen. On the transformation of a Prolog program to a more efficient binary program. In K.-K. Lau and T.P. Clement, editors, Logic Program Synthesis and Transformation. Proceedings of LOPSTR'92, pages 242–252. Springer Verlag.
5. D.A. de Waal. Analysis and Transformation of Proof Procedures. PhD Thesis, Department of Computer Science, University of Bristol, 1992.
Cited by
21 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献