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

Publications in Program Specialization


Articles in Refereed Journals:

  1. Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti. Analysis and Transformation of Constrained Horn Clauses for Program Verification. Theory and Practice of Logic Programming, Vol. 22, Num. 6, pages 1-69, Cambridge U. Press, November 2021.

  2. N. Stulova, J. F. Morales, M. V. Hermenegildo. Some Trade-offs in Reducing the Overhead of Assertion Run-time Checks via Static Analysis. Science of Computer Programming, Vol. 155, pages 3-26, Elsevier North-Holland, April 2018. Selected and Extended papers from the 2016 International Symposium on Principles and Practice of Declarative Programming.

  3. J.F. Morales, M. Carro, M. V. Hermenegildo. Description and Optimization of Abstract Machines in a Dialect of Prolog. Theory and Practice of Logic Programming, Vol. 16, Num. 1, pages 1-58, Cambridge University Press, January 2016.

  4. M. V. Hermenegildo, F. Bueno, M. Carro, P. Lopez-Garcia, 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.

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

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

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

  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.

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

  10. G. Puebla, M. V. 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.


Articles in Refereed Conferences:

  1. I. Garcia-Contreras, J.F. Morales, M. V. Hermenegildo. Incremental Analysis of Logic Programs with Assertions and Open Predicates. Proceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'19), LNCS, Vol. 12042, pages 36-56, Springer, 2020.

  2. E. Albert, M. Gómez-Zamalloa, J.M. Rojas. Resource-driven CLP-based Test Case Generation. Proc. of LOPSTR'11, LNCS, Vol. 7225, pages 25-41, Springer-Verlag, 2012.

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

  4. J. F. Morales, M. V. Hermenegildo, R. Haemmerlé. Modular Extensions for Modular (Logic) Languages. Proceedings of the 21th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR'11), LNCS, Vol. 7225, pages 139-154, Springer, July 2011.

  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.

  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.

  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'10), pages 25-28, ACM Press, 2010.

  8. 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, Vol. 5438, pages 4-23, Springer-Verlag, March 2009.

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

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

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

  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.

  13. J.F. Morales, M. Carro, M. V. 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.

  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.

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

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

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

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

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

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

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

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

  23. F. Bueno, M. García de la Banda, M. V. 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.

  24. D. Cabeza, M. V. Hermenegildo. A New Module System for Prolog. International Conference on Computational Logic, CL2000, LNAI, Num. 1861, pages 131-148, Springer-Verlag, July 2000.

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

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

  27. G. Puebla, M. V. 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.

  28. G. Puebla, M. V. 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.

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


Books and Monographs:

  1. J.F. Morales. Advanced Compilation Techniques 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. M. V. Hermenegildo. 50-Years of Prolog and Beyond (invited talk). November 2022. Keynote given at the Prolog 50th Anniversary `Prolog Day Symposium'.

  2. M. V. Hermenegildo. Some reflections on Prolog's evolution, status, and future on the 50th anniversary of the birth of Prolog (abstract of invited talk). 38th International Conference on Logic Programming (ICLP'22 at FLoC'22), August 2022.

  3. J. Gallagher, M. V. Hermenegildo, B. Kafle, M. Klemen, P. Lopez-Garcia, J.F. Morales. From big-step to small-step semantics and back with interpreter specialization (invited paper). Proceedings of the Eighth International Workshop on Verification and Program Transformation (VPT 2020), Electronic Proceedings in Theoretical Computer Science (EPTCS), pages 50-65, Open Publishing Association (OPA), 2020. Co-located with ETAPS 2020.

  4. M. V. Hermenegildo, M. Carro, P. Lopez-Garcia, J.F. Morales, J. Arias, I. Garcia-Contreras, M. Klemen, N. Stulova. 25 Years of Ciao (abstract of invited tutorial). Pre-proceedings of the 28th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'18), September 2018.

  5. G. Puebla, M. V. 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.

  6. M. V. Hermenegildo, G. Puebla, F. Bueno, P. Lopez-Garcia. 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.

  7. M. V. 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. Lopez-Garcia, 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, Vol. 5065, pages 209-237, Springer-Verlag, June 2008.

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


Publications in Refereed Workshops:

  1. Bishoksan Kafle, John P. Gallagher, Manuel V. Hermenegildo, Maximiliano Klemen, Pedro Lopez-Garcia, José F. Morales. Regular Path Clauses and their Application in Solving Loops. Proceedings of the Eighth International Workshop on Horn Clauses for Verification and Synthesis (HCVS 2021), Electronic Proceedings in Theoretical Computer Science (EPTCS), Vol. 344, pages 22-35, Open Publishing Association (OPA), August 2021. Co-located with ETAPS 2021.

  2. I. Garcia-Contreras, J.F. Morales, M. V. Hermenegildo. Incremental Analysis of Logic Programs with Assertions and Open Predicates. Pre-proceedings of the 29th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'19), October 2019.

  3. F. Bueno, M. García de la Banda, M. V. Hermenegildo, P. Lopez-Garcia, E. Mera, P. J. Stuckey. Towards Resource Usage Analysis of MiniZinc Models. MiniZinc Workshop (MZN'11), 15 pages, September 2011.

  4. M. V. Hermenegildo, F. Bueno, M. Carro, P. Lopez-Garcia, 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.

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

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

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

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

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

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

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

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

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

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

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

  16. F. Bueno, M. Garcia de la Banda, M. V. 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.

  17. G. Puebla, M. V. 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.

  18. D. Cabeza, M. V. 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.

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

  20. D. Cabeza, M. V. 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.

  21. G. Puebla, M. V. 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.

  22. G. Puebla, J. Gallagher, M. V. 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.

  23. G. Puebla, M. García de la Banda, M. V. 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.

  24. G. Puebla, M. V. 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. Lopez-Garcia, 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. V. 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 Lopez-Garcia, 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, P. Lopez-Garcia, 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. 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.

  11. G. Puebla, E. Albert, M. V. 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. V. 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. V. 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. V. Hermenegildo. Automatic Optimization of Dynamic Scheduling in Logic Programs. Technical University of Madrid, January 1996.

  17. G. Puebla, M. V. 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. V. 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 Thu Sep 26 03:16:40 PM CEST 2024