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

Publications in Program Specialization


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. G. Puebla, E. Albert, M. Hermenegildo. Efficient Local Unfolding with Ancestor Stacks. Theory and Practice of Logic Programming, Vol. 11, Num. 1, pages 1-32, Cambridge U. Press, January 2011.

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

  4. Elvira Albert, Puri Arenas, Samir Genaim, German Puebla. Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. Static Analysis, 15th International Symposium, SAS 2008, Valencia, Spain, July 15-17, 2008, Proceedings, Lecture Notes in Computer Science, Vol. 5079, pages 221-237, Springer-Verlag, July 2008.

    CORE: A. Citeseer: position 145/1221 (top 12%), impact 1.35. Average position: top 22%.

  5. M. Carro, J. Morales, H.L. Muller, G. Puebla, M. 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.

    CORE: A. CiteseerX position (ave) top 23%, impact (ave) 0.192. Average position: top 28%.

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

    CORE: A. CiteseerX position (ave) top 25%, impact (ave) 0.317. Average position: top 29%.

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

    CORE: A. Citeseer: position 145/1221 (top 12%), impact 1.35. Average position: top 22%.

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

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

  10. D. Cabeza, M. Hermenegildo. A New Module System for Prolog (also available in ps). International Conference on Computational Logic, CL2000, LNAI, Num. 1861, pages 131-148, Springer-Verlag, July 2000.

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

  11. G. Puebla, M. Hermenegildo. Abstract Multiple Specialization and its Application to Program Parallelization (also available in ps). J. of Logic Programming. Special Issue on Synthesis, Transformation and Analysis of Logic Programs, Vol. 41, Num. 2&3, pages 279-316, Elsevier - North Holland, November 1999.

    JCR: position (ave) top 36%, impact (ave) 1.20, subject(s): COMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, THEORY & METHODS CORE: A. Citeseer: position 56/1221 (top 5%), impact 1.78. Average position: top 20%.

  12. G. Puebla, M. García de la Banda, K. Marriott, P. Stuckey. Optimization of Logic Programs with Dynamic Scheduling (also available in ps). 1997 International Conference on Logic Programming, pages 93-107, MIT Press, June 1997.

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

  13. G. Puebla, M. Hermenegildo. Automatic Optimization of Dynamic Scheduling in Logic Programs (also available in ps). Programming Languages: Implementation, Logics, and Programs, LNCS, Num. 1140, pages 475-476, Springer-Verlag, September 1996. Poster abstract.

    Citeseer: position 297/1221 (top 24%), impact 0.99. Average position: top 24%.

  14. F. Giannotti, M. Hermenegildo. A Technique for Recursive Invariance Detection and Selective Program Specialization. Proc. 3rd. Int'l Symposium on Programming Language Implementation and Logic Programming, LNCS, Num. 528, pages 323-335, Springer-Verlag, August 1991.

    Citeseer: position 297/1221 (top 24%), impact 0.99. Average position: top 24%.


Articles in Second-Level Refereed Conferences and Journals:

  1. E. Albert, M. Gómez-Zamalloa, J.M. Rojas. Resource-driven CLP-based Test Case Generation. Proc. of LOPSTR'11, Springer-Verlag, 2012. To appear.

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

  2. J. F. Morales, M. V. Hermenegildo, R. Haemmerlé. Modular Extensions for Modular (Logic) Languages. 21th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'11), July 2011. To appear.

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

  3. E. Albert, M. Gómez-Zamalloa, J.M. Rojas. Towards Resource-driven CLP-based Test Case Generation. 21th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'11), pages 183-197, July 2011.

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

  4. E. Albert, M. Gómez-Zamalloa, J.M. Rojas. Towards Resource-driven CLP-based Test Case Generation. Proc. of LOPSTR'11, July 2011.

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

  5. E. Albert, P. Arenas, S. Genaim, M. Gómez-Zamalloa, G. Puebla. Cost Analysis of Concurrent OO Programs. The 9th Asian Symposium on Programming Languages and Systems (APLAS'11), Vol. 7078, pages 238-254, Springer, 2011.

    CORE: B. CiteseerX position (ave) top 45%, impact (ave) 0.080. Average position: top 55%.

  6. E. Albert, M. Gómez-Zamalloa, J.M. Rojas, G. Puebla. Compositional CLP-based Test Data Generation for Imperative Languages. LOPSTR 2010 Revised Selected Papers, LNCS, Vol. 6564, pages 99-116, Springer-Verlag, 2011.

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

  7. E. Albert, M. Gómez-Zamalloa, G. Puebla. PET: A Partial Evaluation-based Test Case Generation Tool for Java Bytecode. ACM SIGPLAN Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM), pages 25-28, ACM Press, January 2010.

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

  8. E. Albert, J. Gallagher, M. Gómez-Zamalloa, G. Puebla. Type-based Homeomorphic Embedding for Online Termination. Information Processing Letters, Vol. 109, Num. 15, pages 879-886, Elsevier, July 2009.

    JCR: position (ave) top 72%, impact (ave) 0.44, subject(s): COMPUTER SCIENCE, INFORMATION SYSTEMS CORE: B. Citeseer: position 551/1221 (top 45%), impact 0.58. Average position: top 61%.

  9. E. Albert, M. Gómez-Zamalloa, G. Puebla. Test Data Generation of Bytecode by CLP Partial Evaluation. 18th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'08), LNCS, Num. 5438, pages 4-23, Springer-Verlag, March 2009.

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

  10. M. Gómez-Zamalloa, E. Albert, G. Puebla. Modular Decompilation of Low-Level Code by Partial Evaluation. 8th IEEE International Working Conference on Source Code Analysis and Manipulation (SCAM'08), pages 239-248, IEEE Computer Society, September 2008.

    CiteseerX position (ave) top 37%, impact (ave) 0.085. Average position: top 37%.

  11. D. Zanardini. The Semantics of Abstract Program Slicing. 8th International Working Conference on Source Code Analysis and Manipulation (SCAM'08), IEEE Computer Society, September 2008.

    CiteseerX position (ave) top 37%, impact (ave) 0.085. Average position: top 37%.

  12. E. Albert, J. Gallagher, M. Gómez-Zamalloa, G. Puebla. Type-based Homeomorphic Embedding and its Applications to Online Partial Evaluation. 17th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'07), LNCS, Vol. 4915, pages 23-42, Springer-Verlag, February 2008.

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

  13. J.F. Morales, M. Carro, M. Hermenegildo. Towards Description and Optimization of Abstract Machines in an Extension of Prolog. Logic-Based Program Synthesis and Transformation (LOPSTR'06), LNCS, Num. 4407, pages 77-93, July 2007.

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

  14. C. Ochoa, G. Puebla. Poly-Controlled Partial Evaluation in Practice. ACM Partial Evaluation and Program Manipulation (PEPM'07), pages 164-173, ACM Press, January 2007.

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

  15. C. Ochoa, G. Puebla, M. 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.

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

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

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

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

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

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

  19. F. Bueno, M. García de la Banda, M. Hermenegildo, K. Marriott, G. Puebla, P. Stuckey. A Model for Inter-module Analysis and Optimizing Compilation (also available in ps). Logic-based Program Synthesis and Transformation, LNCS, Num. 2042, pages 86-102, Springer-Verlag, March 2001.

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

  20. G. Puebla, M. Hermenegildo. Abstract Specialization and its Application to Program Parallelization. Logic Program Synthesis and Transformation, LNCS, Num. 1207, pages 169-186, Springer-Verlag, 1997.

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

  21. G. Puebla, M. Hermenegildo. Implementation of Multiple Specialization in Logic Programs (also available in ps). Proc. ACM SIGPLAN Symposium on Partial Evaluation and Semantics Based Program Manipulation, pages 77-87, ACM Press, June 1995.

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


Books and Monographs:

  1. J.F. Morales. Advanced Compilation Tecniques for Logic Programming. Ph.D. Thesis, Universidad Politécnica de Madrid (UPM), Facultad Informática UPM, 28660-Boadilla del Monte, Madrid-Spain, July 2010.

  2. M. Gómez-Zamalloa. Transformation and Analysis of Object-Oriented Bytecode. Ph.D. Thesis, Complutense University of Madrid, October 2009.

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

  4. G. Puebla. Simplification and Specialization of Logic Programs based on Abstract Interpretation. Ms. Thesis, School of Computer Science. Technical University of Madrid, January 1994. (in Spanish).


Invited Papers and Tutorials:

  1. G. Puebla, M. Hermenegildo. Abstract Specialization and its Applications. ACM Partial Evaluation and Semantics based Program Manipulation (PEPM'03), pages 29-43, ACM Press, June 2003. Invited talk.

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

  3. M. Hermenegildo, G. Puebla. Applying Multiple Abstract Specialization to Program Parallelization (abstract). Partial Evaluation- Dagstuhl Seminar Report, Num. 134, 1 pages, IBFI - Dagstuhl, February 1996.


Articles in Books and Other Collections:

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

  2. 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. Elvira Albert, Israel Cabañas, Antonio Flores-Montoya, Miguel Gómez-Zamalloa, Sergio Gutiérrez. jPET: an Automatic Test-Case Generator for Java. 18th Working Conference on Reverse Engineering (WCRE 2011), 2 pages, IEEE Computer Society, October 2011. To appear.

  2. M. Gómez-Zamalloa, E. Albert, G. Puebla. Decompilation of Java Bytecode to Prolog by Partial Evaluation. Information and Software Technology, Vol. 51, Num. 10, pages 1409-1427, Elsevier, October 2009.

    JCR: position (ave) top 67%, impact (ave) 0.49, subject(s): COMPUTER SCIENCE, INFORMATION SYSTEMSCOMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: B. Citeseer: position 930/1221 (top 76%), impact 0.19. Average position: top 69%.

  3. M. Gómez-Zamalloa, E. Albert, G. Puebla. Decompilation of Java Bytecode to Prolog by Partial Evaluation. JIST, Vol. 51, pages 1409-1427, Elsevier, October 2009.

    JCR: position (ave) top 67%, impact (ave) 0.49, subject(s): COMPUTER SCIENCE, INFORMATION SYSTEMSCOMPUTER SCIENCE, SOFTWARE ENGINEERINGCOMPUTER SCIENCE, SOFTWARE, GRAPHICS, PROGRAMMING CORE: B. Citeseer: position 930/1221 (top 76%), impact 0.19. Average position: top 69%.


Publications in Refereed Workshops:

  1. F. Bueno, M. García de la Banda, M. V. Hermenegildo, P. López-García, E. Mera, P. J. Stuckey. Towards Resource Usage Analysis of MiniZinc Models. MiniZinc Workshop (MZN'11), 15 pages, September 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. E. Albert, M. Gómez-Zamalloa, J.M. Rojas, G. Puebla. Towards Compositional CLP-based Test Data Generation for Imperative Languages. 20th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'10), pages 47-57, July 2010. Extended Abstract.

  4. C. Ochoa, G. Puebla. Oracle-Based Poly-Controlled Partial Evaluation. ETAPS Workshop on Quantitative Aspects of Programming Languages (QAPL'08), Vol. 220, Num. 3, pages 145-161, Elsevier, March 2008.

  5. M. Gómez-Zamalloa, E. Albert, G. Puebla. On the Generation of Test Data for Prolog by Partial Evaluation. Workshop on Logic-based methods in Programming Environments (WLPE'08), pages 26-43, 2008. Report number: WLPE/2008/06.

  6. M. Gómez-Zamalloa, E. Albert, G. Puebla. Towards Modular Interpretive Decompilation of Low-Level Code to Prolog. 8th Spanish Conference on Programming and Computer Languages (PROLE'08), 2008.

  7. E. Albert, J. Gallagher, M. Gómez-Zamalloa, G. Puebla. Typed-based Homeomorphic Embedding for Online Termination. 17th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'07), August 2007. Extended Abstract.

  8. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. Applications of Static Slicing in Cost Analysis of Java Bytecode. 3rd International Workshop on Programming Language Interference and Dependence (PLID'07), August 2007.

  9. M. Gómez-Zamalloa, E. Albert, G. Puebla. Improving the Decompilation of Java Bytecode to Prolog by Partial Evaluation. ETAPS Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE'07), Electronic Notes in Theoretical Computer Science, Vol. 190, Issue 1, pages 85-101, Elsevier - North Holland, July 2007.

  10. C. Ochoa, G. Puebla. A Study on the Practicality of Poly-Controlled Partial Evaluation. Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming (WFLP'06), Electronic Notes in Theoretical Computer Science, Vol. 177, pages 137-151, Elsevier, June 2007.

  11. G. Puebla, E. Albert, M. 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.

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

  13. G. Puebla, E. Albert. Efficient Leftmost Unfolding with Ancestor Stacks. Pre-proceedings of the 14th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'04), August 2004.

  14. F. Bueno, M. Garcia de la Banda, M. Hermenegildo, K. Marriott, G. Puebla, P. Stuckey. A Model for Inter-module Analysis and Optimizing Compilation. Tenth International Workshop on Logic-based Program Synthesis and Transformation, July 2000.

  15. G. Puebla, M. Hermenegildo. Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs (also available in ps). Special Issue on Optimization and Implementation of Declarative Programming Languages, Electronic Notes in Theoretical Computer Science, Vol. 30, Num. 2, 25 pages, Elsevier - North Holland, March 2000.

  16. D. Cabeza, M. Hermenegildo. The Ciao Module System: A New Module System for Prolog. Special Issue on Parallelism and Implementation of (C)LP Systems, Electronic Notes in Theoretical Computer Science, Vol. 30, Num. 3, Elsevier - North Holland, March 2000.

  17. I. de Castro Dutra, V. Santos Costa, G. Gupta, E. Pontelli, M. Carro, P. Kacsuk (editors). Parallelism and Implementation Technology for (Constraint) Logic Programming. Electronic Notes in Theoretical Computer Science, Vol. 30, Num. 2, Elsevier - North Holland, March 2000.

  18. D. Cabeza, M. Hermenegildo. A New Module System for Prolog (also available in ps). ICLP'99 WS on Parallelism and Implementation of (C)LP Systems, pages 110-128, N.M. State U., December 1999.

  19. G. Puebla, M. Hermenegildo, J. Gallagher. An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework (also available in ps). ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'99), BRISC Series, Num. NS-99-1, pages 75-85, University of Aarhus, Denmark, January 1999.

  20. G. Puebla, J. Gallagher, M. Hermenegildo. Towards Integrating Partial Evaluation in a Specialization Framework based on Generic Abstract Interpretation (also available in ps). Proceedings of the ILPS'97 Workshop on Specialization of Declarative Programs, October 1997. Post ILPS'97 Workshop.

  21. G. Puebla, M. García de la Banda, M. Hermenegildo, K. Marriott, P. Stuckey. Automatic Optimization of Logic Programs with Dynamic Scheduling. Workshop on Abstract Interpretation of Logic Languages, The Hebrew University, December 1996.

  22. G. Puebla, M. Hermenegildo. Abstract Specialization and its Application to Program Parallelization. V International Workshop on Metaprogramming and Metareasoning in Logic, 1996.


Technical Reports and Manuals:

  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. Num. CLIP2/2010.0, Technical University of Madrid (UPM), March 2010. Under consideration for publication in Theory and Practice of Logic Programming (TPLP).

  2. J.F. Morales, M. Carro, M. Hermenegildo. Description and Optimization of Abstract Machines in a Dialect of Prolog. Num. CLIP4/2009.0, Technical University of Madrid (UPM), October 2009.

  3. E. Albert, P. Arenas, S. Genaim, G. Puebla, D. Zanardini. Cost Analysis of Object-Oriented Bytecode Programs. Num. CLIP7/2008.0, Technical University of Madrid (UPM), September 2008.

  4. D. Zanardini. The Semantics of Abstract Program Slicing. Num. CLIP4/2008.0, Technical University of Madrid (UPM), June 2008.

  5. M. Gómez-Zamalloa, E. Albert, G. Puebla. Modular Decompilation of Low-Level Code by Partial Evaluation. Num. CLIP2/2008.0, Technical University of Madrid (UPM), April 2008. Available at http://cliplab.org/papers/mod-decomp-tr.pdf.

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

  8. M. Gómez-Zamalloa, E. Albert, G. Puebla. Partial Evaluation Types for Improving the Decompilation of Java Bytecode to Prolog. Num. CLIP1/2007.0, Technical University of Madrid (UPM), February 2007.

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

  10. M. Carro, J. Morales, H.L. Muller, G. Puebla, M. 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.

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

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

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

  14. F. Bueno, D. Cámara, C. Vaucheret. Analysis and specialization of programs with meta-calls. Num. CLIP9/2003.0, Technical University of Madrid, June 2003.

  15. D. Cabeza, M. Hermenegildo. A New Module System for Prolog. Num. CLIP8/99.0, 15 pages, Facultad de Informática, UPM, Technical University of Madrid (UPM), September 1999.

  16. G. Puebla, M. Hermenegildo. Automatic Optimization of Dynamic Scheduling in Logic Programs. Technical University of Madrid, January 1996.

  17. G. Puebla, M. Hermenegildo. Specialization and Optimization of Constraint Programs with Dynamic Scheduling. Num. CLIP12/95.0, Facultad de Informática, UPM, September 1995. Presented at the 1995 COMPULOG Meeting on Program Development.

  18. G. Puebla, M. Hermenegildo. An Implementation Technique for Multiple Program Specialization. Num. CLIP7/94.0, Computer Science Dept., Technical U. of Madrid (UPM), August 1994.

  19. F. Giannotti, M. Hermenegildo. A Technique for Recursive Invariance Detection and Selective Program Specialization. Num. CLIP7/91.0, U. of Madrid (UPM), February 1991.

next up previous Clip_button.gif
Next: Publications in Resource Consumption Up: Document: /home/clip/Systems/CLIP-Web/pubs/clippubsbytopic Previous: Publications in Program Analysis
Last updated on Fri Feb 10 19:49:38 CET 2012
Contents
Institutional links