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.
[DL93]
S.K. Debray and N.W. Lin.
Cost analysis of logic programs.
{ACM Transactions on Programming Languages and Systems}, 15(5):826--875, November 1993.
[DLGH97]
S.K. Debray, P. L\'{o}pez-Garc\'{\i}a, and M. Hermenegildo.
{N}on-{F}ailure {A}nalysis for {L}ogic {P}rograms.
In 1997 International Conference on Logic Programming, pages 48--62, Cambridge, MA, June 1997. MIT Press, Cambridge, MA.
[DLGHL97]
S.K. Debray, P. L\'{o}pez-Garc\'{\i}a, M. Hermenegildo, and N.-W. Lin.
{L}ower {B}ound {C}ost {E}stimation for {L}ogic {P}rograms.
In 1997 International Logic Programming Symposium, pages 291--305. MIT Press, Cambridge, MA, October 1997.
[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.
[Her00]
M. Hermenegildo.
{A} {D}ocumentation {G}enerator for {(C)LP} {S}ystems.
In International Conference on Computational Logic, CL2000, number 1861 in LNAI, pages 1345--1361. Springer-Verlag, July 2000.
[JL88]
D. Jacobs and A. Langen.
{C}ompilation of {L}ogic {P}rograms for {R}estricted {A}nd-{P}arallelism.
In European Symposium on Programming, pages 284--297, 1988.
[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.
[LGHD96]
P. L\'{o}pez-Garc\'{\i}a, M. Hermenegildo, and S.K. Debray.
{A} {M}ethodology for {G}ranularity {B}ased {C}ontrol of {P}arallelism in {L}ogic {P}rograms.
Journal of Symbolic Computation, Special Issue on Parallel Symbolic Computation, 22:715--734, 1996.
[MH89]
K. Muthukumar and M. Hermenegildo.
{D}etermination of {V}ariable {D}ependence {I}nformation at {C}ompile-{T}ime {T}hrough {A}bstract {I}nterpretation.
In 1989 North American Conference on Logic Programming, pages 166--189. {MIT} Press, October 1989.
[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.