Author:
Comini Marco,Gori Roberta,Levi Giorgio,Volpe Paolo
Reference40 articles.
1. Reasoning about PROLOG programs;Apt;Formal Aspects Comput.,1994
2. A. Bossi, N. Cocco, Verifying correctness of logic programs, in: J. Diaz, F. Orejas (Eds.), Proc. TAPSOFT’89, Lecture Notes in Computer Science, Springer, Berlin, 1989, pp. 96–110.
3. F. Bourdoncle, Abstract debugging of higher-order imperative languages, in: R. Cartwright (Ed.), Proc. ACM SIGPLAN 1993 Conf. on Programming Language Design and Implementation, June 21–25, Albuquerque, NM, ACM Press, New York, 1993, pp. 46–55.
4. On the role of semantic approximations in validation and diagnosis of constraint logic programs;Bueno,1997
5. K.L. Clark, Predicate logic as a computational formalism, Research Report DOC 79/59, Department of Computing, Imperial College, London, 1979.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献