Publications in Program Specialization
Articles in Refereed Journals:
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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:
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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:
- 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.
- M. Gómez-Zamalloa.
Transformation and Analysis of Object-Oriented Bytecode.
Ph.D. Thesis, Complutense University of Madrid,
October
2009.
- 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.
- 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:
- M. V. Hermenegildo.
50-Years of Prolog and Beyond (invited talk).
November
2022.
Keynote given at the Prolog 50th Anniversary `Prolog Day Symposium'.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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:
- 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.
- 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:
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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:
- 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).
- 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.
- 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.
- D. Zanardini.
The Semantics of Abstract Program Slicing.
Num. CLIP4/2008.0,
Technical University of Madrid (UPM),
June
2008.
- 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.
- 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.
- 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.
- 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.
- 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.
- 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.
- G. Puebla, E. Albert, M. V. Hermenegildo.
Abstract Interpretation with Specialized
Definitions.
Num. CLIP6/2005.0,
Technical University of Madrid,
July
2005.
- 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.
- 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.
- 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.
- 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.
- G. Puebla, M. V. Hermenegildo.
Automatic Optimization of Dynamic Scheduling in Logic
Programs.
Technical University of Madrid,
January
1996.
- 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.
- 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.
- 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: 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