References

[Bue95]

F. Bueno.
The CIAO Multiparadigm Compiler: A User's Manual.
Technical Report CLIP8/95.0, Facultad de Informática, UPM, June 1995.

[Bue98]

F. Bueno.
Using Assertions for Static Debugging of CLP: A Manual.
Technical Report CLIP1/98.0, DISCIPL Project/CLIP Group, UPM, June 1998.

[DEDC96]

P. Deransart, A. Ed-Dbali, and L. Cervoni.
Prolog: The Standard.
Springer-Verlag, 1996.

[Her00]

M. V. Hermenegildo.
A Documentation Generator for (C)LP Systems.
In International Conference on Computational Logic, CL2000, number 1861 in LNAI, pages 1345--1361. Springer-Verlag, July 2000.

[JM94]

J. Jaffar and M.J. Maher.
Constraint Logic Programming: A Survey.
Journal of Logic Programming, 19/20:503--581, 1994.

[Knu84]

D. Knuth.
Literate programming.
Computer Journal, 27:97--111, 1984.

[PBH97]

G. Puebla, F. Bueno, and M. V. Hermenegildo.
An Assertion Language for Debugging of Constraint Logic Programs.
Technical Report CLIP2/97.1, Facultad de Informática, UPM, July 1997.

[PBH98]

G. Puebla, F. Bueno, and M. V. Hermenegildo.
A Framework for Assertion-based Debugging in Constraint Logic Programming.
In Proceedings of the JICSLP'98 Workshop on Types for CLP, pages 3--15, Manchester, UK, June 1998.