CLIP Lab
The Computational logic, Languages, Implementation, and Parallelism Laboratory

Publications in Verification, Program Assertions, Debugging


Articles in First-Level Refereed Conferences and Journals:

  1. M. V. Hermenegildo, F. Bueno, M. Carro, P. López, E. Mera, J.F. Morales, G. Puebla. An Overview of Ciao and its Design Philosophy. Theory and Practice of Logic Programming, Vol. 12, Num. 1-2, pages 219-252, Cambridge University Press, January 2012. http://arxiv.org/abs/1102.5497.

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 494/1221 (top 40%), impact 0.66. Average position: top 32%.

  2. E. Albert, P. Arenas, G. Puebla, M. Hermenegildo. Certificate Size Reduction in Abstraction-Carrying Code. Theory and Practice of Logic Programming, To Appear, 2012.

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 494/1221 (top 40%), impact 0.66. Average position: top 32%.

  3. P. López-García, L. Darmawan, F. Bueno. A Framework for Verification and Debugging of Resource Usage Properties. Technical Communications of the 26th Int'l. Conference on Logic Programming (ICLP'10), Leibniz International Proceedings in Informatics (LIPIcs), Vol. 7, pages 104-113, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, July 2010.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  4. M. Gómez-Zamalloa, E. Albert, G. Puebla. Test Case Generation for Object-Oriented Imperative Languages in CLP. Theory and Practice of Logic Programming, 26th Int'l. Conference on Logic Programming (ICLP'10) Special Issue, Vol. 10 (4-6), pages 659-674, Cambridge U. Press, July 2010.

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 494/1221 (top 40%), impact 0.66. Average position: top 32%.

  5. E. Albert, S. Genaim, M. Gómez-Zamalloa. Parametric Inference of Memory Requirements for Garbage Collected Languages. 9th International Symposium on Memory Management (ISMM'10), pages 121-130, ACM Press, June 2010.

    CORE: A. Citeseer: position 99/1221 (top 8%), impact 1.55. Average position: top 21%.

  6. E. Mera, P. López-García, M. Hermenegildo. Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. 25th International Conference on Logic Programming (ICLP'09), LNCS, Num. 5649, pages 281-295, Springer-Verlag, July 2009.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  7. E. Albert, S. Genaim, M. Gómez-Zamalloa. Live Heap Space Analysis for Languages with Garbage Collection. 8th international symposium on Memory management, pages 129-138, ACM Press, June 2009.

    CORE: A. Citeseer: position 99/1221 (top 8%), impact 1.55. Average position: top 21%.

  8. M. Marron, D. Kapur, M. Hermenegildo. Identification of Logically Related Heap Regions. ISMM'09: Proceedings of the 8th international symposium on Memory management, ACM Press, June 2009.

    CORE: A. Citeseer: position 99/1221 (top 8%), impact 1.55. Average position: top 21%.

  9. E. Albert, S. Genaim, M. Gómez-Zamalloa. Heap Space Analysis for Java Bytecode. Proceedings of the 6th International Symposium on Memory Management (ISMM'07), pages 105-116, ACM Press, October 2007.

    CORE: A. Citeseer: position 99/1221 (top 8%), impact 1.55. Average position: top 21%.

  10. P. Pietrzak, M. Hermenegildo. Automatic Binding-related Error Diagnosis in Logic Programs. International Conference on Logic Programming (ICLP'07), LNCS, Num. 4670, pages 333-347, Springer-Verlag, September 2007.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  11. E. Albert, P. Arenas, G. Puebla, M. Hermenegildo. Reduced Certificates for Abstraction-Carrying Code. 22nd International Conference on Logic Programming (ICLP 2006), LNCS, Num. 4079, pages 163-178, Springer-Verlag, August 2006.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  12. M. Hermenegildo, G. Puebla, F. Bueno, P. López-García. Integrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor). Science of Computer Programming, Vol. 58, Num. 1-2, pages 115-140, Elsevier Science, 2005.

    JCR: position (ave) top 42%, impact (ave) 0.80, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: A. Citeseer: position 185/1221 (top 15%), impact 1.22. Average position: top 26%.

  13. E. Albert, G. Puebla, M. Hermenegildo. Abstract Interpretation-based Mobile Code Certification. Proc. of International Conference on Logic Programming (ICLP'04), LNCS, Num. 3132, pages 446-447, Springer-Verlag, September 2004. Extended Abstract.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  14. M. Hermenegildo. A Documentation Generator for (C)LP Systems (also available in ps). International Conference on Computational Logic, CL2000, LNAI, Num. 1861, pages 1345-1361, Springer-Verlag, July 2000.

    CiteseerX position (ave) top 28%, impact (ave) 0.205. Average position: top 28%.

  15. G. Puebla, F. Bueno, M. Hermenegildo. A Framework for Assertion-based Debugging in Constraint Logic Programming (abstract) (also available in ps). Proceedings of the International Conference on Principles and Practice of Constraint Programming (CP'98), LNCS, Num. 1520, pages 472-473, Springer-Verlag, October 1998.

    CORE: A. CiteseerX position (ave) top 22%, impact (ave) 0.297. Average position: top 27%.

  16. G. Puebla, M. Comini, W. Drabent, M. Ducass, M. Fabris, M. Meier, Ch. Schulte. Tools and Environments for Constraint Logic Programming. International Logic Programming Symposium, pages 417-418, October 1997. Workshop abstract.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.

  17. M. Carro, L. Gómez, M. Hermenegildo. Some Paradigms for Visualizing Parallel Execution of Logic Programs. 1993 International Conference on Logic Programming, pages 184-201, MIT Press, June 1993.

    CORE: A. Citeseer: position 188/1221 (top 15%), impact 1.21. Average position: top 24%.


Articles in Second-Level Refereed Conferences and Journals:

  1. E. Albert, P. Arenas, M. Gómez-Zamalloa. Symbolic Execution of Concurrent Objects in CLP. Practical Aspects of Declarative Languages (PADL'12), LNCS, Vol. 7149, pages 123-137, Springer, January 2012.

    CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.

  2. E. Mera, T. Trigo, P. López-García, M. Hermenegildo. Profiling for Run-Time Checking of Computational Properties and Performance Debugging. Practical Aspects of Declarative Languages (PADL'11), LNCS, Vol. 6539, pages 38-53, Springer-Verlag, January 2011.

    CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.

  3. P. López-García, F. Bueno, M. Hermenegildo. Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Information. New Generation Computing, Vol. 28, Num. 2, pages 117-206, Ohmsha, Ltd. and Springer, 2010.

    JCR: position (ave) top 61%, impact (ave) 0.54, subject(s): COMPUTER SCIENCE, HARDWARE & ARCHITECTURECOMPUTER SCIENCE, THEORY & METHODS CORE: B. Citeseer: position 305/1221 (top 25%), impact 0.97. Average position: top 50%.

  4. E. Mera, P. López-García, M. Carro, M. Hermenegildo. Towards Execution Time Estimation in Abstract Machine-Based Languages. 10th Int'l. ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming (PPDP'08), pages 174-184, ACM Press, July 2008.

    CORE: B. CiteseerX position (ave) top 26%, impact (ave) 0.183. Average position: top 45%.

  5. E. Albert, G. Puebla, M. Hermenegildo. Abstraction-Carrying Code: A Model for Mobile Code Safety. New Generation Computing, Vol. 26, Num. 2, pages 171-204, March 2008.

    JCR: position (ave) top 61%, impact (ave) 0.54, subject(s): COMPUTER SCIENCE, HARDWARE & ARCHITECTURECOMPUTER SCIENCE, THEORY & METHODS CORE: B. Citeseer: position 305/1221 (top 25%), impact 0.97. Average position: top 50%.

  6. M. Méndez-Lojo, M. Hermenegildo. Precise Set Sharing Analysis for Java-style Programs. 9th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'08), LNCS, Num. 4905, pages 172-187, Springer-Verlag, January 2008.

    CORE: B. CiteseerX position (ave) top 14%, impact (ave) 0.330. Average position: top 39%.

  7. G. Marpons, J. Mariño, M. Carro, A. Herranz, J.J. Moreno-Navarro, L.Å. Fredlund. Automatic Coding Rule Conformance Checking Using Logic Programming. 10th International Symposium on Practical Aspects of Declarative Languages (PADL'08), LNCS, Vol. 4902, pages 18-34, Springer Verlag, January 2008.

    CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.

  8. P. Pietrzak, J. Correas, G. Puebla, M. Hermenegildo. A Practical Type Analysis for Verification of Modular Prolog Programs. ACM SIGPLAN 2008 Workshop on Partial Evaluation and Program Manipulation (PEPM'08), pages 61-70, ACM Press, January 2008.

    CORE: B. Citeseer: position 65/1221 (top 5%), impact 1.74. Average position: top 35%.

  9. M. Méndez-Lojo, J. Navas, M. Hermenegildo. A Flexible (C)LP-Based Approach to the Analysis of Object-Oriented Programs. 17th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR 2007), LNCS, Num. 4915, pages 154-168, Springer-Verlag, August 2007.

    CORE: B. Citeseer: position 363/1221 (top 30%), impact 0.85. Average position: top 47%.

  10. E. Albert, M. Gómez-Zamalloa, L. Hubert, G. Puebla. Verification of Java Bytecode using Analysis and Transformation of Logic Programs. Ninth International Symposium on Practical Aspects of Declarative Languages (PADL 2007), LNCS, Num. 4354, pages 124-139, Springer-Verlag, January 2007.

    CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.

  11. E. Albert, P. Arenas, G. Puebla. An Incremental Approach to Abstraction-Carrying Code. 13th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR'06), LNCS, Num. 4246, pages 377-391, Springer-Verlag, November 2006.

    CORE: A. CiteseerX position (ave) top 38%, impact (ave) 0.169. Average position: top 36%.

  12. P. Pietrzak, J. Correas, G. Puebla, M. Hermenegildo. Context-Sensitive Multivariant Assertion Checking in Modular Programs. 13th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'06), LNCS, Num. 4246, pages 392-406, Springer-Verlag, November 2006.

    CORE: A. CiteseerX position (ave) top 38%, impact (ave) 0.169. Average position: top 36%.

  13. E. Albert, G. Puebla, M. Hermenegildo. Abstraction-Carrying Code . 11th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR 2004), LNAI, Num. 3452, pages 380-397, Springer-Verlag, March 2005.

    CORE: A. CiteseerX position (ave) top 38%, impact (ave) 0.169. Average position: top 36%.

  14. J. Gallagher, G. Puebla. Abstract Interpretation over Non-Deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. Fourth International Symposium on Practical Aspects of Declarative Languages, LNCS, Num. 2257, pages 243-261, Springer-Verlag, January 2002.

    CORE: B. CiteseerX position (ave) top 23%, impact (ave) 0.230. Average position: top 44%.

  15. G. Puebla, F. Bueno, M. Hermenegildo. Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs (also available in ps). Logic-based Program Synthesis and Transformation (LOPSTR'99), LNCS, Num. 1817, pages 273-292, Springer-Verlag, March 2000.

    CORE: B. Citeseer: position 363/1221 (top 30%), impact 0.85. Average position: top 47%.

  16. M. 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%.


Books and Monographs:

  1. E. Mera. A Unified Framework for Resource and Execution Time Analysis, Run-Time Checking and Unit-Testing. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, November 2010.

  2. M. Méndez-Lojo. A Generic Approach to Bytecode Analysis. Ph.D. Thesis, University of New Mexico (UNM), Department of Computer Science, University of New Mexico, Albuquerque, NM 87131-0001 (USA), August 2008.

  3. J. Navas. Analysis and Inference of Resource Usage Information. Ph.D. Thesis, University of New Mexico (UNM), Department of Computer Science, University of New Mexico, Albuquerque, NM 87131-0001 (USA), August 2008.

  4. J. Correas. Analysis and Verification of Modular Programs. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, June 2008.

  5. D. Cabeza. An Extensible, Global Analysis Friendly Logic Programming System. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, August 2004.

  6. P. Deransart, M. Hermenegildo, J. Maluszynski. Analysis and Visualization Tools for Constraint Programming. LNCS, Num. 1870, 350 pages, Springer-Verlag, September 2000.

  7. J.M. Ramos. VIFID: Variable Visualization for Constraint Domains. Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, September 1998.

  8. G. Puebla. Advanced Compilation Techniques based on Abstract Interpretation and Program Transformation (also available in ps). Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informatica UPM, 28660-Boadilla del Monte, Madrid-Spain, November 1997.

  9. A. López Luengo. APT: implementación de un visualizador gráfico de la ejecución de programas lógicos. Ms. Thesis, Technical University of Madrid, School of Computer Science, E-28660, Boadilla del Monte, Madrid, Spain, October 1997. In Spanish.


Invited Papers and Tutorials:

  1. Elvira Albert. From Termination to Cost (in Object-Oriented Languages). Workshop on Termination (WST'10), 1 pages, July 2010.

  2. Elvira Albert. Upper Bounds on Memory Usage for Garbage-Collected Languages . Workshop on Quantitative Analysis of Software (QA'09), 1 pages, June 2009.

  3. G. Barthe, L. Beringer, P. Crégut, B. Grégoire, M. Hofmann, P. Müller, E. Poll, G. Puebla, I. Stark, E. Vétillard. MOBIUS: Mobility, Ubiquity, Security: Objectives and progress report. Trustworthy Global Computing'06, LNCS, Num. 4661, pages 10-29, Springer, March 2007.

  4. G. Puebla, E. Albert, P. Arenas, M. Hermenegildo. On Abstraction-Carrying Code and Certificate-Size Reduction. 1st International Workshop on Emerging Applications of Abstract Interpretation (EAAI 2006), 15 pages, March 2006.

  5. G. Puebla, E. Albert, M. Hermenegildo. Abstract Interpretation-based Verification/Certification in the CiaoPP System. Mobile Code Safety and Program Verification Using Computational Logic Tools (MoveLog'05), 9 pages, October 2005.

  6. M. Hermenegildo, E. Albert, P. López-García, G. Puebla. Abstraction Carrying Code and Resource-Awareness. 7th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'05), pages 1-11, ACM Press, July 2005.

  7. M. Hermenegildo, E. Albert, P. López-García, G. Puebla. Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-Paradigm Programming System. Proc. of EURO-PAR 2004, LNCS, Num. 3149, pages 21-37, Springer-Verlag, August 2004.

  8. M. Hermenegildo, G. Puebla, F. Bueno, P. López-García. Program Development Using Abstract Interpretation (and The Ciao System Preprocessor). 10th International Static Analysis Symposium (SAS'03), LNCS, Num. 2694, pages 127-152, Springer-Verlag, June 2003.

  9. M. Hermenegildo, G. Puebla, F. Bueno, P. López-García. Abstract Verification and Debugging of Constraint Logic Programs. Recent Advances in Constraints, LNCS, Num. 2627, pages 1-14, Springer-Verlag, January 2003.

  10. M. Hermenegildo, F. Bueno, G. Puebla, P. López-García. Program Debugging and Validation Using Semantic Approximations and Partial Specifications (also available in ps). 29 th. International Colloqium on Automata, Languages, and Programming (ICALP), LNCS, Num. 2380, pages 69-72, Springer-Verlag, July 2002.

  11. M. 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.

  12. M. Hermenegildo, The CLIP Group. Programming with Global Analysis. Proceedings of ILPS'97, pages 49-52, MIT Press, October 1997. (abstract of invited talk).

  13. F. Bueno, P. Deransart, W. Drabent, G. Ferrand, M. 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.


Articles in Books and Other Collections:

  1. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. Resource Usage Analysis and its Application to Resource Certification. 9th International School on Foundations of Security Analysis and Design (FOSAD'09), Lecture Notes in Computer Science, Num. 5705, pages 258-288, Springer, 2009.

  2. M. V. Hermenegildo, F. Bueno, M. Carro, P. López, J.F. Morales, G. Puebla. An Overview of The Ciao Multiparadigm Language and Program Development Environment and its Design Philosophy. Festschrift for Ugo Montanari, LNCS, Num. 5065, pages 209-237, Springer-Verlag, June 2008.

  3. M. Carro, M. 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/.

  4. M. Carro, M. 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.

  5. M. Carro, M. 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.

  6. G. Puebla, F. Bueno, M. 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.

  7. G. Puebla, F. Bueno, M. 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.

  8. P. Deransart, M. 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.

  9. M. Carro, M. 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.

  10. M. Hermenegildo, G. Puebla, F. Bueno. Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging (also available in ps). The Logic Programming Paradigm: a 25-Year Perspective, pages 161-192, Springer-Verlag, July 1999.


Articles in Third-Level (or Non-Indexed) Refereed Conferences and Journals:

  1. M. Marron, D. Kapur, D. Stefanovic, M. Hermenegildo. Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. 21st Int'l. WS on Languages and Compilers for Parallel Computing (LCPC'08), LNCS, Springer-Verlag, August 2008.

  2. E. Albert, G. Puebla, M. Hermenegildo. Experiments in Abstract Interpretation-based Code Certification for Pervasive Systems. Proc. of 2004 IEEE Conference on Systems, Man & Cybernetics (Special Session on Correctness and Reliability for Pervasive/Ubiquitous Computing), 6 pages, IEEE, October 2004.

    CORE: B. CiteseerX position (ave) top 92%, impact (ave) 0.010. Average position: top 78%.

  3. G. Smedbäck, M. Carro, M. Hermenegildo. Interfacing Prolog and VRML and its Application to Constraint Visualization. The Practical Application of Constraint Technologies and Logic programming, pages 453-471, The Practical Application Company, April 1999.


Publications in Refereed Workshops:

  1. P. Lopez-Garcia, L. Darmawan, F. Bueno, M. Hermenegildo. Interval-based Resource Usage Verification: Formalization and Prototype. 2nd International Workshop on Foundational and Practical Aspects of Resource Analysis (FOPARA'2011), May 2011.

  2. M. V. Hermenegildo, F. Bueno, M. Carro, P. López, E. Mera, J.F. Morales, G. Puebla. The Ciao Approach to the Dynamic vs. Static Language Dilemma. Proceedings for the International Workshop on Scripts to Programs, STOP'11, 4 pages, ACM, 2011.

  3. G. Marpons, J. Mariño, M. Carro, A. Herranz, L.Å. Fredlund, J.J. Moreno-Navarro, A. Polo. A Coding Rule Conformance Checker Integrated into GCC. VIII Jornadas sobre Programación y Lenguajes, PROLE 2008, pages 245-249, October 2008.

  4. M. Méndez-Lojo, O. Lhoták, M. Hermenegildo. Efficient Set Sharing using ZBDDs. 21st Int'l. WS on Languages and Compilers for Parallel Computing (LCPC'08), LNCS, Springer-Verlag, August 2008.

  5. G. Marpons-Ucero, J. Mariño, A. Herranz, L.Å. Fredlund, M. Carro, J.J. Moreno-Navarro. Automatic Coding Rule Conformance Checking Using Logic Programs. 17th Workshop on Logic-based methods in Programming Environments, WLPE 2007, September 2007.

  6. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. A Generic Framework for the Cost Analysis of Java Bytecode. Spanish Conference on Programming and Computer Languages (PROLE'07), September 2007.

  7. J. Navas, M. Méndez-Lojo, M. Hermenegildo. An Efficient, Context and Path Sensitive Analysis Framework for Java Programs. 9th Workshop on Formal Techniques for Java-like Programs FTfJP 2007, 12 pages, July 2007.

  8. E. Albert, P. Arenas, M. Codish, S. Genaim, G. Puebla, D. Zanardini. Termination Analysis of Java Bytecode. 9th International Workshop on Termination, WST'07, June 2007.

  9. M. Méndez-Lojo, J. Navas, M. Hermenegildo. An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE 2007), Electronic Notes in Theoretical Computer Science, Elsevier - North Holland, March 2007.

  10. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. Experiments in Cost Analysis of Java Bytecode. ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'07), Electronic Notes in Theoretical Computer Science, Vol. 190, Issue 1, Elsevier, 2007.

  11. E. Albert, P. Arenas, G. Puebla, M. Hermenegildo. Generation of Reduced Certificates in Abstraction-Carrying Code. VI Jornadas Programación y Lenguajes (PROLE'06), 10 pages, October 2006.

  12. E. Albert, P. Arenas, G. Puebla. Some Issues on Incremental Abstraction-Carrying Code. 16th Workshop on Logic-Based Methods in Programming Environments (WLPE'06) , 15 pages, August 2006.

  13. E. Albert, M. Gómez-Zamalloa, L. Hubert, G. Puebla. Towards Verification of Java Bytecode using Tools for Logic Programming. International Workshop on Software Verification and Validation (SVV 2006), 15 pages, August 2006.

  14. E. Albert, P. Arenas, G. Puebla. Incremental Certificates and Checkers for Abstraction-Carrying Code. Sixth Workshop on Issues in the Theory of Security, 16 pages, March 2006.

  15. E. Albert, G. Puebla, M. Hermenegildo. Abstract Interpretation-based Code Certification for Pervasive Systems: Preliminary Experiments. Workshop on Software Analysis and Development for Pervasive Systems (SONDA'04), pages 1-6, August 2004.

  16. E. Albert, G. Puebla, M. Hermenegildo. An Abstract Interpretation-based Approach to Mobile Code Safety. Proc. of Compiler Optimization meets Compiler Verification (COCV'04), Electronic Notes in Theoretical Computer Science 132(1), pages 113-129, Elsevier - North Holland, April 2004.

  17. M. Hermenegildo. A System for Automatically Generating Documentation for (C)LP Programs. Special Issue on Parallelism and Implementation of (C)LP Systems, Electronic Notes in Theoretical Computer Science, Vol. 30, Num. 4, March 2000.

  18. M. Hermenegildo. A Documentation Generator for Logic Programming Systems (also available in ps). ICLP'99 Workshop on Logic Programming Environments, pages 80-97, N.M. State University, December 1999.

  19. M. Carro, M. Hermenegildo. Some Design Issues in the Visualization of Constraint Program Execution. AGP'98 Joint Conference on Declarative Programming, pages 71-86, July 1998.

  20. G. Puebla, F. Bueno, M. Hermenegildo. A Framework for Assertion-based Debugging in Constraint Logic Programming (also available in ps). Proceedings of the JICSLP'98 Workshop on Types for CLP, pages 3-15, June 1998.

  21. G. Puebla, F. Bueno, M. 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://clip.dia.fi.upm.es/pub/papers/assert_lang_tr_discipldeliv.ps.gz as technical report CLIP2/97.1..

  22. M. Carro, L. Gómez, M. Hermenegildo. Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs. JICSLP'92 Workshop on Parallel Execution, 15 pages, November 1992.

  23. M. Carro, L. Gómez, M. Hermenegildo. Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs. Primer Congreso Nacional de Programación Declarativa, pages 262-278, FIM/UPM, September 1992.


Technical Reports and Manuals:

  1. E. Mera, T. Trigo, P. López-García, M. Hermenegildo. An Approach to Profiling for Run-Time Checking of Computational Properties and Performance Debugging. Num. CLIP3/2010.0, 29 pages, Technical University of Madrid (UPM), March 2010.

  2. M. V. Hermenegildo, F. Bueno, M. Carro, P. López, E. Mera, J.F. Morales, G. Puebla. An Overview of Ciao and its Design Philosophy. Num. CLIP2/2010.0, Technical University of Madrid (UPM), March 2010. Under consideration for publication in Theory and Practice of Logic Programming (TPLP).

  3. E. Mera, P. López-García, M. Hermenegildo. Towards Integrating Run-Time Checking and Software Testing in a Verification Framework. Num. CLIP1/2009.0, 19 pages, Technical University of Madrid (UPM), March 2009.

  4. J. Navas, E. Mera, P. López-García, M. Hermenegildo. Inference of User-Definable Resource Bounds Usage for Logic Programs and its Applications. Num. CLIP5/2008.0, Technical University of Madrid (UPM), July 2008.

  5. M. Méndez-Lojo, O. Lhoták, M. Hermenegildo. Fast Set Sharing using ZBDDs. University of New Mexico, June 2008.

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

  7. J. Navas, M. Méndez-Lojo, M. Hermenegildo. Customizable Resource Usage Analysis for Java Bytecode. Num. UNM TR-CS-2008-02 - CLIP1/2008.0, University of New Mexico, January 2008.

  8. G. Román-Díez, G. Puebla. Java Bytecode Timing Cost Models. Num. CLIP12/2007.0, Technical University of Madrid, December 2007.

  9. M. Méndez-Lojo, M. Hermenegildo. Precise Set Sharing for Java-style Programs (and proofs). Num. CLIP2/2007.1, Technical University of Madrid (UPM), November 2007.

  10. E. Mera, P. López-García, M. Carro, M. Hermenegildo. Towards Execution Time Estimation in Abstract Machine-Based (Logic) Languages. Num. CLIP8/2007.0, Technical University of Madrid (UPM), August 2007.

  11. G. Marpons, J. Mariño, M. Carro, A. Herranz, J.J. Moreno-Navarro, L.Å. Fredlund. Automatic Coding Rule Conformance Checking Using Logic Programming. Num. CLIP6/2007.0, Technical University of Madrid (UPM), August 2007.

  12. E. Albert, P. Arenas, S. Genaim, G. Puebla. Automatic Inference of Upper Bounds for Cost Equation Systems. Num. CLIP10/2007.0, Technical University of Madrid, July 2007.

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

  14. M. Méndez-Lojo, M. Hermenegildo. Precise Set Sharing and Nullity Analysis for Java-style Programs. Num. CLIP2/2007.0, Technical University of Madrid (UPM), February 2007.

  15. M. Méndez-Lojo, J. Navas, M. Hermenegildo. Efficient, Parametric Analysis of Java Bytecode. Num. CLIP9/2006.0, Technical University of Madrid (UPM), December 2006.

  16. P. Pietrzak, M. Hermenegildo. Improved Automatic Error Diagnosis Based on Abstract Interpretation. Num. CLIP11/2006.0, Technical University of Madrid, September 2006.

  17. E. Albert, P. Arenas, G. Puebla. An Incremental Approach to Abstraction-Carrying Code. Num. CLIP3/2006, 16 pages, Technical University of Madrid (UPM), March 2006.

  18. F. Bueno, P. López-García, G. Puebla, M. Hermenegildo. The Ciao Preprocessor. Num. CLIP1/06, 99 pages, Technical University of Madrid (UPM), January 2006.

  19. F. Bueno, P. López-García, G. Puebla, M. Hermenegildo. A Tutorial on Program Development and Optimization using the Ciao Preprocessor. Num. CLIP2/06, 55 pages, Technical University of Madrid (UPM), January 2006.

  20. E. Albert, P. Arenas, G. Puebla, M. Hermenegildo. Reduced Certificates for Abstraction-Carrying Code. Num. CLIP8/2005.0, 19 pages, Technical University of Madrid (UPM), October 2005.

  21. E. Albert, G. Puebla, M. Hermenegildo. Abstraction-Carrying Code: A Model for Mobile Code Safety. Num. CLIP7/2005.0, 30 pages, Technical University of Madrid, July 2005.

  22. E. Albert, G. Puebla, J. Gallagher. A Partial Deducer Assisted by Predefined Assertions and a Backwards Analyzer. Num. CLIP1/2005.0, 9 pages, Technical University of Madrid, February 2005.

  23. E. Mera. Development of a Prolog Profiler. Num. CLIP13/2004.1, Technical University of Madrid, September 2004.

  24. F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. López-García, G. Puebla-(Eds.). The Ciao System. Reference Manual (V1.10). School of Computer Science, Technical University of Madrid (UPM), June 2004. System and on-line version of the manual available at http://www.ciaohome.org.

  25. F. Bueno, P. López-García, G. Puebla, M. Hermenegildo. The Ciao Prolog Preprocessor. Num. CLIP1/04, 72 pages, Technical University of Madrid (UPM), January 2004.

  26. F. Bueno. CiaoPP Internals. Num. CLIP2/04, 66 pages, Technical University of Madrid (UPM), January 2004.

  27. E. Albert, G. Puebla, M. Hermenegildo. An Abstract Interpretation-based Approach to Mobile Code Safety. Num. CLIP8/2003.0, 18 pages, Technical University of Madrid, November 2003.

  28. F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. López-García, G. Puebla. The Ciao Prolog System. Reference Manual (V1.8). Num. CLIP4/2002.1, School of Computer Science, Technical University of Madrid (UPM), May 2002. System and on-line version of the manual available at http://www.ciaohome.org.

  29. F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. López-García, G. Puebla. The Ciao Prolog System. Reference Manual (V1.6). Num. CLIP5/2000.1, School of Computer Science, Technical University of Madrid (UPM), July 2000. System and on-line version of the manual available at http://www.ciaohome.org.

  30. M. Hermenegildo, D. Cabeza, M. Rodriguez. Using Ciao inside GNU Emacs. Num. CLIP4/2000.1, 18 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), 2000.

  31. M. Hermenegildo. A Documentation Generator for Logic Programming Systems. Num. CLIP10/99.0, 15 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), September 1999.

  32. F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. López-García, G. Puebla. The Ciao Prolog System. Reference Manual (V1.0). Num. CLIP11/99.1, School of Computer Science, Technical University of Madrid (UPM), June 1999. System and on-line version of the manual available at http://www.ciaohome.org.

  33. F. Bueno, P. López-García, G. Puebla, M. 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.

  34. M. Carro, M. Hermenegildo. Some Issues in the Design of Visualizations for Constraint Logic Program Execution. Num. CLIP2/99.1, 17 pages, Technical University of Madrid (UPM), March 1999. Also as deliverable of the ESPRIT project DISCIPL.

  35. M. Hermenegildo, G. Puebla, F. Bueno. Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging (also available in ps). Num. CLIP8/98.0, Technical University of Madrid (UPM), October 1998.

  36. J.M. Ramos. vifid: Variable Visualization for Finite Domains. Num. CLIP4/98.0, 58 pages, Technical University of Madrid, September 1998.

  37. J.M. Ramos, M. Carro. VIFID User's Manual (also available in ps). Num. CLIP3/98.0, 25 pages, Technical University of Madrid, September 1998.

  38. F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. López-García, G. Puebla. The Ciao Prolog System. Reference Manual (V0.6). Num. CLIP12/98.1, School of Computer Science, Technical University of Madrid (UPM), July 1998. System and on-line version of the manual available at http://www.ciaohome.org.

  39. F. Bueno. Using Assertions for Static Debugging of CLP: A Manual. Num. CLIP1/98.0, 15 pages, DISCIPL Project/CLIP Group, UPM, June 1998.

  40. A. López, M. Carro. A User Guide to APT (also available in ps). Num. CLIP6/97.1, 12 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), September 1997.

  41. M. Carro, M. Hermenegildo. Some Design Issues in Constraint Program Visualization and Abstraction. Num. CLIP1/97.1, 20 pages, Technical University of Madrid (UPM), September 1997. Also as deliverable of the ESPRIT project DISCIPL.

  42. The CLIP Group. Program Assertions. Num. CLIP4/97.1, Facultad de Informática, UPM, August 1997.

  43. F. Bueno, D. Cabeza, M. Carro, M. Hermenegildo, P. López-García, G. Puebla. The Ciao Prolog System. Reference Manual. Num. CLIP3/97.1, School of Computer Science, Technical University of Madrid (UPM), August 1997. System and on-line version of the manual available at http://www.ciaohome.org.

  44. M. Hermenegildo, The CLIP Group. An Automatic Documentation Generator for (C)LP - Reference Manual. Num. CLIP5/97.3, Facultad de Informática, UPM, August 1997. Online at http://www.ciaohome.org.

  45. A. Aggoun, F. Benhamou, F. Bueno, M. Carro, P. Deransart, W. Drabent, G. Ferrand, F. Goualard, M. Hermenegildo, C. Lai, J.Lloyd, J. Maluszynski, G. Puebla, A. Tessier. CP Debugging Tools: Clarification of Functionalities and Selection of the Tools. Num. D.WP1.1.M1.1-2, 15 pages, DISCIPL Project, June 1997.

  46. F. Bueno, D. Cabeza, M. Hermenegildo, S. Prestwich, G. Puebla. Some Improvements to an Abstract Syntax for Analysis and Optimization of Full (Parallel) Prolog. Num. CLIP 8/94.0, Computer Science Dept., Technical U. of Madrid (UPM), September 1994.

  47. F. Bueno, M. Carro, D. Cabeza, F. Ballesteros, P. López-García, M. García de la Banda, M. Hermenegildo, L. Gómez, S. Prestwich, S.-W. Yan. A Proposal for an Interchange Abstract Syntax for (Parallel) Prolog. Num. CLIP3/93.0, 33 pages, Computer Science Dept., Technical U. of Madrid (UPM), June 1993.

  48. M. Carro, L. Gómez, M. Hermenegildo. Using VisAndOr to Debug and Understand Parallel Execution of Logic Programs. Num. CLIP 1/93.0, School of Computer Science, Technical University of Madrid, February 1993.

  49. M. Carro, L. Gómez, M. Hermenegildo. VISANDOR: A Tool for Visualizing And-/Or-parallelism in Logic Programs. Num. CLIP9/91.0, 17 pages, T.U. of Madrid (UPM), June 1991.

  50. M. Hermenegildo, R. I. Nasr. A Tool for Visualizing Independent And-parallelism in Logic Programs. Num. CLIP1/90.0, T.U. of Madrid (UPM), 1990. Presented at the NACLP-90 Workshop on Parallel Logic Programming, Austin, TX.

next up previous Clip_button.gif
Next: Publications in Program Analysis Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbytopic Previous: Explanation of Ranking System
Last updated on Thu May 17 11:08:08 CEST 2012
Contents
Institutional links