Author:
Bossi Annalisa,Cocco Nicoletta,Etalle Sandro
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. K. R. Apt and M. Bezem. Acyclic programs. In D. H. D. Warren and P. Szeredi, editors, Proceedings of the Seventh International Conference on Logic Programming, pages 617–633. The MIT Press, 1990.
2. K.R. Apt and E. Marchiori. Reasoning about Prolog programs: from modes through types to assertions. Formal Aspects of Computing, 1994. In print. Also Technical report CS-R9358, CWI, Amsterdam, The Netherlands. Available via anonymous ftp at ftp.cwi.nl, or via xmosaic at http://www.cwi.nl/cwi/publications/index.html.
3. K. R. Apt and D. Pedreschi. Studies in Pure Prolog: termination. In J. W. Lloyd, editor, Symposium on Computational Logic, pages 150–176. Springer-Verlag, 1990.
4. K. R. Apt and D. Pedreschi. Reasoning about termination of pure Prolog programs. Information and Computation, 106(1):109–157, 1993.
5. K. R. Apt. Introduction to Logic Programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics, pages 495–574. Elsevier, Amsterdam and The MIT Press, Cambridge, 1990.
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. The Transformational Approach to Program Development;Lecture Notes in Computer Science;2010
2. Transformation Systems and Nondeclarative Properties;Computational Logic: Logic Programming and Beyond;2002
3. Transformation Rules for Logic Programs with Goals as Arguments;Logic-Based Program Synthesis and Transformation;2000
4. Transformation of Left Terminating Programs;Logic-Based Program Synthesis and Transformation;2000
5. Successes in Logic Programs;Logic-Based Program Synthesis and Transformation;1999