Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming-Reference-Cited by-同舟云学术

Declarative Diagnosis of Missing Answers in Constraint Functional-Logic Programming

Published:2008 Issue: Volume: Page:305-321
ISSN:0302-9743
Container-title:Functional and Logic Programming
language:
Short-container-title:

Author:

Caballero Rafael,Rodríguez Artalejo Mario,del Vado Vírseda Rafael

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-78969-7_22

Reference30 articles.

1. Boye, J., Drabent, W., Maluszynski, J.: Declarative diagnosis of contraint programs: An assertion-based approach. In: Automated and Algorithmic Debugging, pp. 123–140 (1997)

2. Brassel, B., Hanus, M., Huch, F.: Encapsulating non-determinism in functional logic computations. Journal of Functional and Logic Programming (2004)

3. Brassel, B., Hanus, M., Huch, F., Vidal, G.: A semantics for tracing declarative multi-paradigm programs. In: PPDP 2004, pp. 179–190. ACM Press, New York (2004)

4. Caballero, R.: A declarative debugger of incorrect answers for constraint functional-logic programs. In: WCFLP 2005, pp. 8–13. ACM Press, New York (2005)

5. Caballero, R., García-Ruiz, Y., Sáenz-Pérez, F.: A new proposal for debugging datalog programs. In: WFLP 2007 (2007)

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Abstract Diagnosis of First Order Functional Logic Programs;Logic-Based Program Synthesis and Transformation;2011

2. Enhancing the Debugging of Maude Specifications;Rewriting Logic and Its Applications;2010

3. Transformation and Debugging of Functional Logic Programs;Lecture Notes in Computer Science;2010

4. Declarative Debugging of Rewriting Logic Specifications;Recent Trends in Algebraic Development Techniques;2009