Source: http://cliplab.org/clippubsbytopic/node14.html
Timestamp: 2019-04-23 21:59:40+00:00

Document:
J. Correas, J. M. Gomez, M. Carro, D. Cabeza, M. V. Hermenegildo. A Generic Persistence Model for CLP Systems. 2003 International Conference on Logic Programming, LNCS, Num. 2916, pages 481-482, Springer-Verlag, December 2003. Extended abstract.
M. V. Hermenegildo, G. Puebla, K. Marriott, P. Stuckey. Incremental Analysis of Constraint Logic Programs. ACM Transactions on Programming Languages and Systems, Vol. 22, Num. 2, pages 187-223, ACM Press, March 2000.
P. Van Hentenryck, V. Saraswat, A. Borning, A. Brodski, P. Codognet, R. Dechter, M. Dincbas, E. Freuder, M. Hermenegildo, J. Jaffar, S. Kasif, J.-L. Lassez, D. McAllester, Ken McAloon, A. Macworth, U. Montanari, W. Older, J.-F. Puget, R. Ramakrishnan, F. Rossi, G. Smolka, R. Wachter. Strategic Directions in Constraint Programming. ACM Computing Surveys, Vol. 28, Num. 4, pages 701-726, ACM, December 1996. 50th Anniversary Issue on Strategic Directions in Computer Research.
JCR: position (ave) top 11%, impact (ave) 4.59, subject(s): COMPUTER SCIENCE, THEORY & METHODS CORE: A*. Citeseer: position 195/1221 (top 16%), impact 1.19. Average position: top 11%.
M. García de la Banda, M. Hermenegildo, M. Bruynooghe, V. Dumortier, G. Janssens, W. Simoens. Global Analysis of Constraint Logic Programs. ACM Transactions on Programming Languages and Systems, Vol. 18, Num. 5, pages 564-615, ACM, September 1996.
M. García de la Banda, M. V. Hermenegildo. A Practical Approach to the Global Analysis of Constraint Logic Programs. 1993 International Logic Programming Symposium, pages 437-455, MIT Press, October 1993.
M. V. Hermenegildo. Some Challenges for Constraint Programming (also available in ps). The Constraints Journal, Vol. 2, Num. 1, pages 63-69, Kluwer Academic Publishers, 1997. Special issue on strategic directions in constraint programming.
JCR: position (ave) top 57%, impact (ave) 0.83, subject(s): COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCECOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 327/1221 (top 27%), impact 0.93. Average position: top 35%.
P. Deransart, M. V. Hermenegildo, J. Maluszynski. Analysis and Visualization Tools for Constraint Programming. LNCS, Num. 1870, 350 pages, Springer-Verlag, September 2000.
The Ciao Development Team. The Ciao Multiparadigm Language and Program Development Environment. 6 pages, November 2006. The ALP Newsletter 19(3). The Association for Logic Programming..
M. V. Hermenegildo, F. Bueno, G. Puebla, P. López-García. Program Analysis, Debugging and Optimization Using the Ciao System Preprocessor (also available in ps). 1999 Int'l. Conference on Logic Programming, pages 52-66, MIT Press, November 1999.
F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. V. Hermenegildo, J. Maluszynski, G. Puebla. On the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs. Proc. of the 3rd. Int'l Workshop on Automated Debugging-AADEBUG'97, pages 155-170, U. of Linköping Press, May 1997.
M. Carro, M. V. Hermenegildo. Visualization Designs for Constraint Logic Programming. Vol. 2, Num. 2, pages 27-34, Swiss Informatics Societies, April 2001. Also in UPGRADE. Available through http://www.svifsi.ch/revue/.
M. Carro, M. V. Hermenegildo. Diseño de visualizaciones para programación lógica con restricciones. Num. 150, pages 31-37, Asociación de Técnicos en Informática, March 2001.
M. Carro, M. V. Hermenegildo. Tools for Search Tree Visualization: The APT Tool (also available in ps). Analysis and Visualization Tools for Constraint Programming, LNCS, Num. 1870, pages 237-252, Springer-Verlag, September 2000.
G. Puebla, F. Bueno, M. V. Hermenegildo. A Generic Preprocessor for Program Validation and Debugging (also available in ps). Analysis and Visualization Tools for Constraint Programming, LNCS, Num. 1870, pages 63-107, Springer-Verlag, September 2000.
G. Puebla, F. Bueno, M. V. Hermenegildo. An Assertion Language for Constraint Logic Programs (also available in ps). Analysis and Visualization Tools for Constraint Programming, LNCS, Num. 1870, pages 23-61, Springer-Verlag, September 2000.
P. Deransart, M. V. Hermenegildo, J. Maluszynski. Debugging of Constraint Programs: The DiSCiPl Methodology and Tools. Analysis and Visualization Tools for Constraint Programming, LNCS, Num. 1870, pages 1-20, Springer-Verlag, September 2000.
M. Carro, M. V. Hermenegildo. Tools for Constraint Visualization: The VIFID/TRIFID Tool (also available in ps). Analysis and Visualization Tools for Constraint Programming, LNCS, Num. 1870, pages 253-272, Springer-Verlag, September 2000.
M. V. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. García de la Banda, P. López-García, G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems (also available in ps). Parallelism and Implementation of Logic and Constraint Logic Programming, pages 65-85, Nova Science, April 1999.
M. Hermenegildo, The Ciao Development Team. An Overview of The Ciao Multiparadigm Language and Program Development Environment and its Design Philosophy. ECOOP Workshop on Multiparadigm Programming with Object-Oriented Languages MPOOL 2007, July 2007.
C. Vaucheret, S. Guadarrama, S. Muñoz. Fuzzy Prolog: A Simple Implementation using CLP(R) (also available in ps). Constraints and Uncertainty, A CP2001 workshop, LNCS, Springer-Verlag, December 2001.
G. Puebla, F. Bueno, M. V. Hermenegildo. An Assertion Language for Debugging of Constraint Logic Programs (also available in ps). Proceedings of the ILPS'97 Workshop on Tools and Environments for (Constraint) Logic Programming, October 1997. Available from ftp://cliplab.org/pub/papers/assert_lang_tr_discipldeliv.ps.gz as technical report CLIP2/97.1..
M. V. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. García de la Banda, P. López-García, G. Puebla. The CIAO Multi-Dialect Compiler and System: A Demo and Status Report. Proceedings of the JICSLP'96 Workshop on Parallelism and Implementation Technology, 12 pages, Computer Science Department, Technical University of Madrid, September 1996. Available from http://www.cliplab.org/Projects/COMPULOG/meeting96/papers/PS/clip.ps.gz.
M. Hermenegildo, F. Bueno, D. Cabeza, M. Carro, M. García de la Banda, P. López, G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. Proc. of the AGP'96 Joint Conference on Declarative Programming, pages 105-108, U. of the Basque Country, July 1996. Available from ftp://www.cliplab.org/pub/papers.
M. Hermenegildo, F. Bueno, M. García de la Banda, G. Puebla. The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems (also available in ps). Proceedings of the ILPS'95 Workshop on Visions for the Future of Logic Programming, December 1995. Available from http://www.cliplab.org/.
M. Hermenegildo, The CLIP Group. The CIAO Multiparadigm Compiler and System: A Progress Report. Proc. of the Compulog Net Area Workshop on Parallelism and Implementation Technologies, Technical University of Madrid, September 1995.
M. Hermenegildo, The CLIP Group. Towards CIAO-Prolog - A Parallel Concurrent Constraint System. Proc. of the Compulog Net Area Workshop on Parallelism and Implementation Technologies, 10 pages, FIM/UPM, Madrid, Spain, June 1993.
V. Dumortier, G. Janssens, W. Simoens, M. García de la Banda. Combining a Definiteness and a Freeness Abstraction for CLP Languages. Workshop on Logic Program Synthesis and Transformation, 1993.
M. García de la Banda, M. V. Hermenegildo. Some Considerations on the Compile-Time Analysis of Constraint Logic Programs. Jornadas Nacionales de Programación Declarativa, pages 97-117, U. Malaga, October 1991.
P. López-García, L. Darmawan, F. Bueno, M. V. Hermenegildo. Towards Resource Usage Function Verification based on Input Data Size Intervals. Num. CLIP4/2011.0, Technical University of Madrid (UPM), April 2011. Available at http://cliplab.org/papers/resource-verif-11-tr.pdf.
P. López-García, F. Bueno, M. V. Hermenegildo. Inferring Determinacy and Mutual Exclusion in Logic Programs Using Mode and Type Analysis. Num. CLIP2/2009.0, Technical University of Madrid (UPM), February 2009.
M. Hermenegildo, E. Albert, P. Arenas, F. Bueno, M. Carro, A. Casas, P. Chico de Guzmán, J. Correas, S. Genaim, J. Lipton, Pedro López García, M. Méndez, E. Mera, J. Morales, J. Navas, R. Padilla, P. Pietrzak, G. Puebla, M. Zamalloa, D. Zanardini. Rigorous Methods for Mobile and Heterogeneous Software Systems - Second Year Report. Num. CLIP3/2008.0, Technical University of Madrid (UPM), April 2008.
M. Hermenegildo, E. Albert, P. Arenas, A. Beascoa, F. Bueno, D. Cabeza, M. Carro, J. Correas, A. García Pañoso, J. Lipton, Pedro López García, E. Mera, J. Morales, C. Ochoa, G. Puebla. Rigorous Methods for Mobile and Heterogeneous Software Systems - First Year Report. Num. CLIP4/2007.0, Technical University of Madrid (UPM), March 2007.
P. López-García, F. Bueno, M. V. Hermenegildo. Inferring Determinacy in Logic Programs Using Mode and Type Information. Num. CLIP3/2007.0, Technical University of Madrid (UPM), February 2007.
M. Hermenegildo, The Ciao Development Team. Why Ciao? -An Overview of the Ciao System's Design Philosophy. Num. CLIP7/2006.0, 6 pages, Technical University of Madrid (UPM), December 2006. Available from: http://cliplab.org/papers/ciao-philosophy-note-tr.pdf.
F. Bueno, P. López-García, G. Puebla, M. V. Hermenegildo. The Ciao Preprocessor. Num. CLIP1/06, 99 pages, Technical University of Madrid (UPM), January 2006.
F. Bueno, P. López-García, G. Puebla, M. V. Hermenegildo. A Tutorial on Program Development and Optimization using the Ciao Preprocessor. Num. CLIP2/06, 55 pages, Technical University of Madrid (UPM), January 2006.
F. Bueno, P. López-García, G. Puebla, M. V. Hermenegildo, P. Pietrzak. The CHIP Assertion Preprocessor. Num. CLIP1/99.1, 50 pages, Technical University of Madrid (UPM), March 1999. Also as deliverable of the ESPRIT project DISCIPL.
F. Bueno, M. Hermenegildo. An Automatic Translation Scheme from CLP to AKL. Facultad de Informática, UPM, June 1995.
M. García de la Banda, M. V. Hermenegildo. A Practical Approach to the Global Analysis of Constaint Logic Programs. Num. without, U. of Madrid (UPM), April 1992. Presented at the 1992 FGCS Post-Conference Workshop on Constraint Logic Programming.
M. García de la Banda, M. V. Hermenegildo. Analyzing Constraint Logic Programs. Num. CLIP4/91.0, U. of Madrid (UPM), January 1991. Presented in ICLP-91 Workshop on Constraint Logic Programming, Paris.

References: V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 

V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V. 
 V.