Go to the first, previous, next, last section, table of contents.
- [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.