References

[BLGH04]
F. Bueno, P. López-García, and M. Hermenegildo.
Multivariant Non-Failure Analysis via Standard Abstract Interpretation.
In FLOPS'04, number 2998 in LNCS, pages 100--116. Springer-Verlag, 2004.

[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.

[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ópez-García, and M. Hermenegildo.
Non-Failure Analysis for Logic Programs.
In 1997 International Conference on Logic Programming, pages 48--62, Cambridge, MA, June 1997. MIT Press, Cambridge, MA.

[DLGHL97]
S. K. Debray, P. López-García, M. Hermenegildo, and N.-W. Lin.
Lower Bound Cost Estimation for Logic Programs.
In 1997 International Logic Programming Symposium, pages 291--305. MIT Press, Cambridge, MA, October 1997.

[Her99]
M. Hermenegildo.
A Documentation Generator for Logic Programming Systems.
Technical Report CLIP10/99.0, Facultad de Informática, UPM, September 1999.

[Her00]
M. 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.

[JL88]
D. Jacobs and A. Langen.
Compilation of Logic Programs for Restricted And-Parallelism.
In European Symposium on Programming, pages 284--297, 1988.

[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.

[LGBH05]
P. López-García, F. Bueno, and M. Hermenegildo.
Determinacy Analysis for Logic Programs Using Mode and Type Information.
In Proceedings of the 14th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'04), number 3573 in LNCS, pages 19--35. Springer-Verlag, August 2005.

[LGBH10]
P. López-García, F. Bueno, and M. Hermenegildo.
Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Information.
New Generation Computing, 28(2):117--206, 2010.

[LGHD96]
P. López-García, M. Hermenegildo, and S. K. Debray.
A Methodology for Granularity Based Control of Parallelism in Logic Programs.
Journal of Symbolic Computation, Special Issue on Parallel Symbolic Computation, 21(4--6):715--734, 1996.

[MH89]
K. Muthukumar and M. Hermenegildo.
Determination of Variable Dependence Information at Compile-Time Through Abstract Interpretation.
In 1989 North American Conference on Logic Programming, pages 166--189. MIT Press, October 1989.

[PBH97]
G. Puebla, F. Bueno, and M. 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. 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.

[PBH00]
G. Puebla, F. Bueno, and M. Hermenegildo.
An Assertion Language for Constraint Logic Programs.
In P. Deransart, M. Hermenegildo, and J. Maluszynski, editors, Analysis and Visualization Tools for Constraint Programming, number 1870 in LNCS, pages 23--61. Springer-Verlag, September 2000.