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

CLIP Group's Publications in 2006


Articles in Refereed Conferences:

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

  2. P. Pietrzak, J. Correas, G. Puebla, M. V. 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.

  3. M. Marron, D. Kapur, D. Stefanovic, M. Hermenegildo. A Static Heap Analysis for Shape and Connectivity. Languages and Compilers for Parallel Computing (LCPC'06), Lecture Notes in Computer Science, Vol. 4382, pages 345-363, Springer, November 2006.

  4. M. Carro, J. Morales, H.L. Muller, G. Puebla, M. V. Hermenegildo. High-Level Languages for Small Devices: A Case Study. Compilers, Architecture, and Synthesis for Embedded Systems, pages 271-281, ACM Press / Sheridan, October 2006.

  5. C. Ochoa, J. Silva, G. Vidal. A Slicing Tool for Lazy Functional Logic Programs. Proceedings of the 10th European Conference on Logics in Artificial Intelligence (JELIA'06), LNCS, Num. 4160, pages 498-501, Springer, September 2006.

  6. H. Soza, M. Carro, P. Lopez-Garcia. Probabilistic Cost Analysis of Logic Programs: A First Case Study. XXXII Latin-American Conference on Informatics, August 2006.

  7. E. Mera, P. Lopez-Garcia, G. Puebla, M. Carro, M. Hermenegildo. Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. 22nd International Conference on Logic Programming (ICLP'06), LNCS, Num. 4079, pages 431-432, Springer-Verlag, August 2006.

  8. G. Puebla, E. Albert, M. V. Hermenegildo. Abstract Interpretation with Specialized Definitions. The 13th International Static Analysis Symposium (SAS'06), LNCS, Num. 4134, pages 107-126, Springer, August 2006.

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

  10. A. Casas, D. Cabeza, M. V. Hermenegildo. A Syntactic Approach to Combining Functional Notation, Lazy Evaluation and Higher-Order in LP Systems. The 8th International Symposium on Functional and Logic Programming (FLOPS'06), pages 142-162, April 2006.

  11. C. Ochoa, G. Puebla, M. V. Hermenegildo. Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. 15th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05), LNCS, Num. 3901, pages 80-97, Springer-Verlag, April 2006.

  12. E. Albert, G. Puebla, J. Gallagher. Non-Leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. 15th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05), LNCS, Num. 3901, pages 115-132, Springer-Verlag, April 2006.

  13. J. Gallagher, G. Puebla, E. Albert . Converting one Type-Based Abstract Domain to Another. 15th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05), LNCS, Num. 3901, pages 147-162, Springer-Verlag, April 2006.

  14. J. Correas, G. Puebla, M. V. Hermenegildo, F. Bueno. Experiments in Context-Sensitive Analysis of Modular Programs. 15th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'05), LNCS, Num. 3901, pages 163-178, Springer-Verlag, April 2006.

  15. D. Zanardini. Abstract Non-Interference in a fragment of Java bytecode. ACM Symposium on Applied Computing (SAC), ACM Press, New York, April 2006.

  16. J. Navas, F. Bueno, M. V. Hermenegildo. Efficient Top-Down Set-Sharing Analysis Using Cliques. 8th International Symposium on Practical Aspects of Declarative Languages (PADL'06), LNCS, Num. 2819, pages 183-198, Springer-Verlag, January 2006.

  17. Andy King, Lunjin Lu, Samir Genaim. Detecting Determinacy in Prolog Programs.. Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, Lecture Notes in Computer Science, Vol. 4079, pages 132-147, Springer, 2006.

  18. G. Puebla, C. Ochoa. Poly-Controlled Partial Evaluation. 8th ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming (PPDP'06), ACM Press, 2006.


Books and Monographs:

  1. Dave Barker-Plummer, Richard Cox, Nik Swoboda. Diagrammatic Representation and Inference. Lecture Notes in Artificial Intelligence, Num. 4045, 300 pages, Springer, June 2006.


Invited Papers and Tutorials:

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

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

  3. M. Carro, M. Freire . Programas equivalentes. Novática, Num. 178-179, 3 pages, Asociación de Técnicos en Informática, January 2006. Available at http://www.ati.es/novatica/.


Publications in Refereed Workshops:

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

  2. E. Mera, P. Lopez-Garcia, G. Puebla, M. Carro, M. Hermenegildo. Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling. 16th Workshop on Logic Programming Environments, pages 45-60, University of Namur, Institut d'Informatique, August 2006.

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

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

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


Technical Reports and Manuals:

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

  2. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. Automatic Cost Analysis of Java Bytecode. Num. CLIP10/2006.0, Technical University of Madrid, December 2006.

  3. J. Morales, M. Carro, M. Hermenegildo. Description and Optimization of Abstract Machines in an Extension of Prolog. Num. CLIP8/2006.0, 43 pages, Technical University of Madrid (UPM), December 2006.

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

  5. J. Navas, E. Mera, P. Lopez-Garcia, M. Hermenegildo. Resource Bounds Analysis. Num. CLIP6/2006.0, 19 pages, Technical University of Madrid (UPM), November 2006.

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

  7. A. Kostenko, M. Carro. A Preliminary DHT Infrastructure for Ciao. Num. CLIP12/2006.0, Technical University of Madrid (UPM), August 2006.

  8. E. Mera, P. Lopez-Garcia, G. Puebla, M. Carro, M. Hermenegildo. Towards Combining Static Analysis and Profiling for Estimating Execution Times in Logic Programs. Num. CLIP5/2006.0, 15 pages, Technical University of Madrid (UPM), April 2006.

  9. M. Carro, J. Morales, H.L. Muller, G. Puebla, M. V. Hermenegildo. Optimizing Prolog for Small Devices: A Case Study. Num. CLIP4/2006.0, 16 pages, Technical University of Madrid, April 2006. Under consideration for publication.

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

  11. F. Bueno, P. Lopez-Garcia, G. Puebla, M. V. Hermenegildo. The Ciao Preprocessor. Num. CLIP1/06, 99 pages, Technical University of Madrid (UPM), January 2006.

  12. F. Bueno, P. Lopez-Garcia, 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.

  13. A. Casas, D. Cabeza, M. V. Hermenegildo. A Syntactic Approach to Combining Functional Notation, Lazy Evaluation and Higher-Order in LP Systems. Num. TR-CS-2006-07, 17 pages, University of New Mexico (UNM), 2006.

next up previous Clip_button.gif
Next: CLIP Group's Publications in Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbyyear Previous: CLIP Group's Publications in
Last updated on Mon Apr 15 06:11:00 PM CEST 2024
Contents
Institutional links