Author:
Bossi Annalisa,Cocco Nicoletta
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Formal Models and Semantics;K. R. Apt,1990
2. K. R. Apt. Declarative programming in Prolog. In D. Miller, editor, Proceedings of the 1993 International Symposium on Logic Programming, pages 12–35. The MIT Press, 1993.
3. K. R. Apt. From Logic Programming to Prolog. Prentice Hall International Series in Computer Science, 1997.
4. K. R. Apt and E. Marchiori. Reasoning about Prolog programs: from modes through types to assertions. Formal Aspects of Computing, 6(6A):743–765, 1994.
5. K. R. Apt and D. Pedreschi. Reasoning about termination of pure Prolog programs. Information and Computation, 106(1):109–157, 1993.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Transformation Systems and Nondeclarative Properties;Computational Logic: Logic Programming and Beyond;2002
2. Transformation of Left Terminating Programs;Logic-Based Program Synthesis and Transformation;2000
3. On logic programs that do not fail;Electronic Notes in Theoretical Computer Science;1999