A framework for assertion-based debugging in constraint logic programming

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1520, Issue , 1998, Pages 472-

  Puebla, Germán ^a   Bueno, Francisco ^a   Hermenegildo, Manuel ^a  

^a UNIVERSIDAD POLITÉCNICA DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; COMPUTATIONAL LINGUISTICS; COMPUTER CIRCUITS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; RECONFIGURABLE HARDWARE;

CONSTRAINT LOGIC PROGRAMMING; GENERAL NATURE;

LOGIC PROGRAMMING;

EID: 78650014259     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-49481-2_43     Document Type: Conference Paper

References (4)

1. F. Bueno, D. Cabeza, M. Hermenegildo, and G. Puebla. Global Analysis of Standard Prolog Programs. In European Symposium on Programming, number 1058 in LNCS, pages 108-124, Sweden, April 1996. Springer-Verlag.
2. F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. Hermenegildo, J. Maluszynski, and G. Puebla. On the Role of Semantic Approximations in Validation and Diag- nosis of Constraint Logic Programs. In Proc. of the 3rd. Int’l Workshop on Automated Debugging-AADEBUG’97, pages 155-170, Linkoping, Sweden, May 1997. U. of Linkoping Press.
3. G. Puebla, F. Bueno, and M. Hermenegildo. An Assertion Language for Debugging of Constraint Logic Programs. In Proceedings of the ILPS’97 Workshop on Tools and Environments for (Constraint) Logic Programming, October 1997.
4. G. Puebla, F. Bueno, and M. Hermenegildo. A Framework for Assertion-based De- bugging in Constraint Logic Programming. In Proceedings of the JICSLP’98 Workshop on Types for CLP, Manchester, UK, June 1998.