Go to the first, previous, next, last section, table of contents.


References

[Bue95]
F. Bueno.
{T}he {CIAO} {M}ultiparadigm {C}ompiler: {A} {U}ser's {M}anual.
{T}echnical {R}eport {CLIP}8/95.0, Facultad de Inform\'atica, UPM, June 1995.
[Bue98]
F. Bueno.
{U}sing {A}ssertions for {S}tatic {D}ebugging of {CLP}: {A} {M}anual.
{T}echnical {R}eport 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.
[Her99]
M. Hermenegildo.
{A} {D}ocumentation {G}enerator for {L}ogic {P}rogramming {S}ystems.
{T}echnical {R}eport {CLIP}10/99.0, Facultad de Inform\'atica, UPM, September 1999.
[JM94]
J. Jaffar and M.J. Maher.
{C}onstraint {L}ogic {P}rogramming: {A} {S}urvey.
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. Hermenegildo.
{A}n {A}ssertion {L}anguage for {D}ebugging of {C}onstraint {L}ogic {P}rograms.
{T}echnical {R}eport {CLIP}2/97.1, Facultad de Inform\'atica, UPM, July 1997.
[PBH98]
G. Puebla, F. Bueno, and M. Hermenegildo.
{A} {F}ramework for {A}ssertion-based {D}ebugging in {C}onstraint {L}ogic {P}rogramming.
In Proceedings of the JICSLP'98 Workshop on Types for CLP, pages 3--15, Manchester, UK, June 1998.


Go to the first, previous, next, last section, table of contents.