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

CLIP Group's Publications in 2005


Articles in First-Level Refereed Conferences and Journals:

  1. M. V. Hermenegildo, G. Puebla, F. Bueno, P. Lopez-Garcia. 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 North-Holland, October 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%.

  2. J. Morales, M. Carro, G. Puebla, M. Hermenegildo. A Generator of Efficient Abstract Machine Implementations and its Application to Emulator Minimization. International Conference on Logic Programming, LNCS, Num. 3668, pages 21-36, Springer Verlag, October 2005.

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

  3. G. Puebla, E. Albert, M. V. Hermenegildo. A Generic Framework for the Analysis and Specialization of Logic Programs. International Conference on Logic Programming (ICLP 2005), LNCS, Num. 3668, pages 407-409, Springer, October 2005. Extended Abstract.

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

  4. D. Zanardini. Higher-Order Abstract Non-Interference. Int. Conf. on Typed Lambda Calculi and Applications (TLCA), Lecture Notes in Computer Science, Vol. 3461, Springer-Verlag, Berlin, April 2005.

    Citeseer: position 179/1221 (top 15%), impact 1.23. Average position: top 15%.

  5. Mary DeMarco, James Lipton. Completeness and Cut Elimination in Church's Intuitionistic Theory of Types. J. of Logic and Computation, Vol. 15, Num. 6, pages 821-854, 2005.

    JCR: position (ave) top 53%, impact (ave) 0.68, subject(s): COMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 155/1221 (top 13%), impact 1.29. Average position: top 28%.


Articles in Second-Level Refereed Conferences and Journals:

  1. G. Puebla, E. Albert, M. V. Hermenegildo. Efficient Local Unfolding with Ancestor Stacks for Full Prolog. 14th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'04), LNCS, Num. 3573, pages 149-165, Springer-Verlag, August 2005.

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

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

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

  3. E. Albert, G. Puebla, M. V. 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%.


Books and Monographs:

  1. M. Hermenegildo, D. Cabeza. Practical Aspects of Declarative Languages - 7th. International Symposium, PADL 2005. LNCS, Num. 3350, 278 pages, Springer-Verlag, January 2005.


Invited Papers and Tutorials:

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

  2. M. V. 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.


Articles in Books and Other Collections:

  1. Angel Borrego, Nik Swoboda. Images from www.wordww.net. Cárcel de amor: relatos culturales sobre la violencia de género, pages 306-307, Museo Nacional Centro de Arte Reina Sofía, 2005.


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

  1. Nik Swoboda, Gerard Allwein. Heterogeneous Reasoning with Euler/Venn Diagrams Containing Named Constants and FOL. Electronic Notes in Theoretical Computer Science, Vol. 134, pages 153-187, June 2005. Available online http://www.sciencedirect.com/science/journal/15710661.

    CORE: C. CiteseerX position (ave) top 38%, impact (ave) 0.203. Average position: top 69%.


Publications in Refereed Workshops:

  1. J. Navas, F. Bueno, M. V. Hermenegildo. A study of set-sharing analysis via cliques. The 15th Workshop on Logic-Based Methods in Programming Environments, WLPE'05, 15 pages, October 2005.

  2. A. Casas, D. Cabeza, M. V. Hermenegildo. Functional Notation and Lazy Evaluation in Ciao. Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS'05, ICLP associated workshop), pages 25-36, October 2005.

  3. G. Puebla, E. Albert, M. V. Hermenegildo. A Generic Framework for the Analysis and Specialization of Logic Programs . The 15th Workshop on Logic-Based Methods in Programming Environments, WLPE'05, 15 pages, October 2005.

  4. E. Albert, G. Puebla, J. Gallagher. A Partial Deducer Assisted by Predefined Assertions and a Backwards Analyzer. 5th International Workshop on the Implementation of Logics (WIL'04), 9 pages, March 2005.


Technical Reports and Manuals:

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

  2. F. Bueno. Solving set equations. Num. CLIP9/2005.3(2008), Technical University of Madrid (UPM), September 2005.

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

  4. G. Puebla, E. Albert, M. V. Hermenegildo. Abstract Interpretation with Specialized Definitions. Num. CLIP6/2005.0, Technical University of Madrid, July 2005.

  5. J. Morales, M. Carro, G. Puebla, M. Hermenegildo. A Generator of Efficient Abstract Machine Implementations and its Application to Emulator Minimization. Num. CLIP3/2005.0, 21 pages, Technical University of Madrid (UPM), May 2005.

  6. F. Bueno, J. Navas, M. Hermenegildo. Sharing, Freeness, Linearity, Redundancy, Widenings, and Cliques. Num. CLIP5/2005.0, 21 pages, Technical University of Madrid (UPM), April 2005.

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

  8. G. Puebla, E. Albert, M. V. Hermenegildo. Efficient Local Unfolding with Ancestor Stacks for Full Prolog. Num. CLIP2/2005.0, Technical University of Madrid, February 2005.

Last updated on Sat Aug 12 15:32:11 CEST 2017