Author:
Comini Marco,Gori Roberta,Levi Giorgio,Volpe Paolo
Subject
General Computer Science,Theoretical Computer Science
Reference41 articles.
1. Reasoning about Prolog programs: from modes through types to assertions;Apt;Formal Aspects of Computing,1994
2. A. Bossi and N. Cocco. Verifying correctness of logic programs. In J. Diaz and F. Orejas, editors, Proceedings of TAPSOFT'89, pages 96–110, 1989.
3. The s-semantics approach: Theory and applications;Bossi;Journal of Logic Programming,1994
4. Abstract debugging of higher-order imperative languages;Bourdoncle;Programming Languages Design and Implementation '93,1993
5. M. Bruynooghe, H. Vandecasteele, D.A. de Waal, and M. Denecker. Detecting unsolvable queries for definite logic programs. In Palamidessi, Glaser, and Meinke, editors, Proc. 10th Int'l Conf. and Symp. Principle of Declarative Programming, Lecture Notes in Computer Science, pages 118–133. Springer-Verlag, 1998.
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献