default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Germán Puebla
@article{DBLP:journals/sosym/AlbertBGHPR16,
author = {Elvira Albert and
Richard Bubel and
Samir Genaim and
Reiner H{\"{a}}hnle and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
title = {A formal verification framework for static analysis - As well as its
instantiation to the resource analyzer {COSTA} and formal verification
tool KeY},
journal = {Softw. Syst. Model.},
volume = {15},
number = {4},
pages = {987--1012},
year = {2016},
url = {https://doi.org/10.1007/s10270-015-0476-y},
doi = {10.1007/S10270-015-0476-Y},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sosym/AlbertBGHPR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/AlbertFPR15,
author = {Elvira Albert and
Jes{\'{u}}s Correas Fern{\'{a}}ndez and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
title = {Quantified abstract configurations of distributed systems},
journal = {Formal Aspects Comput.},
volume = {27},
number = {4},
pages = {665--699},
year = {2015},
url = {https://doi.org/10.1007/s00165-014-0321-z},
doi = {10.1007/S00165-014-0321-Z},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/AlbertFPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AlbertAGP15,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Germ{\'{a}}n Puebla},
title = {A practical comparator of cost functions and its applications},
journal = {Sci. Comput. Program.},
volume = {111},
pages = {483--504},
year = {2015},
url = {https://doi.org/10.1016/j.scico.2014.12.001},
doi = {10.1016/J.SCICO.2014.12.001},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AlbertAGP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/stvr/AlbertAFGGPR15,
author = {Elvira Albert and
Puri Arenas and
Jes{\'{u}}s Correas Fern{\'{a}}ndez and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
title = {Object-sensitive cost analysis for concurrent objects},
journal = {Softw. Test. Verification Reliab.},
volume = {25},
number = {3},
pages = {218--271},
year = {2015},
url = {https://doi.org/10.1002/stvr.1569},
doi = {10.1002/STVR.1569},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/stvr/AlbertAFGGPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlbertFPR15,
author = {Elvira Albert and
Jes{\'{u}}s Correas Fern{\'{a}}ndez and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
title = {A multi-domain incremental analysis engine and its application to
incremental resource analysis},
journal = {Theor. Comput. Sci.},
volume = {585},
pages = {91--114},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2015.03.002},
doi = {10.1016/J.TCS.2015.03.002},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AlbertFPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AlbertACGGMPR15,
author = {Elvira Albert and
Puri Arenas and
Jes{\'{u}}s Correas and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
Enrique Martin{-}Martin and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
editor = {Nikolaj S. Bj{\o}rner and
Frank S. de Boer},
title = {Resource Analysis: From Sequential to Concurrent and Distributed Programs},
booktitle = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
June 24-26, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9109},
pages = {3--17},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19249-9\_1},
doi = {10.1007/978-3-319-19249-9\_1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/AlbertACGGMPR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/AlbertAGPR14,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
title = {Conditional termination of loops over heap-allocated data},
journal = {Sci. Comput. Program.},
volume = {92},
pages = {2--24},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.04.006},
doi = {10.1016/J.SCICO.2013.04.006},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/AlbertAGPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Gomez-ZamalloaP14,
author = {Miguel G{\'{o}}mez{-}Zamalloa and
Germ{\'{a}}n Puebla},
title = {Selected and extended papers from Bytecode 2013},
journal = {Sci. Comput. Program.},
volume = {95},
pages = {343},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2014.06.008},
doi = {10.1016/J.SCICO.2014.06.008},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Gomez-ZamalloaP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/AlbertAFGGMPR14,
author = {Elvira Albert and
Puri Arenas and
Antonio Flores{-}Montoya and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
Enrique Martin{-}Martin and
German Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
editor = {Erika {\'{A}}brah{\'{a}}m and
Klaus Havelund},
title = {{SACO:} Static Analyzer for Concurrent Objects},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 20th International Conference, {TACAS} 2014, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2014, Grenoble, France, April 5-13, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8413},
pages = {562--567},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54862-8\_46},
doi = {10.1007/978-3-642-54862-8\_46},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tacas/AlbertAFGGMPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/AlbertCPR13,
author = {Elvira Albert and
Jes{\'{u}}s Correas and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
editor = {Einar Broch Johnsen and
Luigia Petre},
title = {Quantified Abstractions of Distributed Systems},
booktitle = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
Turku, Finland, June 10-14, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7940},
pages = {285--300},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38613-8\_20},
doi = {10.1007/978-3-642-38613-8\_20},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifm/AlbertCPR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlbertAGPZ12,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
German Puebla and
Damiano Zanardini},
title = {Cost analysis of object-oriented bytecode programs},
journal = {Theor. Comput. Sci.},
volume = {413},
number = {1},
pages = {142--159},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2011.07.009},
doi = {10.1016/J.TCS.2011.07.009},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/AlbertAGPZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/HermenegildoBCLMMP12,
author = {Manuel V. Hermenegildo and
Francisco Bueno and
Manuel Carro and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Edison Mera and
Jos{\'{e}} F. Morales and
Germ{\'{a}}n Puebla},
title = {An overview of Ciao and its design philosophy},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {1-2},
pages = {219--252},
year = {2012},
url = {https://doi.org/10.1017/S1471068411000457},
doi = {10.1017/S1471068411000457},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/HermenegildoBCLMMP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AlbertAPH12,
author = {Elvira Albert and
Puri Arenas and
Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
title = {Certificate size reduction in abstraction-carrying code},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {3},
pages = {283--318},
year = {2012},
url = {https://doi.org/10.1017/S1471068410000487},
doi = {10.1017/S1471068410000487},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AlbertAPH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AlbertAACFGGMPRRZ12,
author = {Elvira Albert and
Diego Esteban Alonso{-}Blas and
Puri Arenas and
Jes{\'{u}}s Correas and
Antonio Flores{-}Montoya and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
Abu Naser Masud and
German Puebla and
Jos{\'{e}} Miguel Rojas and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez and
Damiano Zanardini},
editor = {Elena Giachino and
Reiner H{\"{a}}hnle and
Frank S. de Boer and
Marcello M. Bonsangue},
title = {Automatic Inference of Bounds on Resource Consumption},
booktitle = {Formal Methods for Components and Objects - 11th International Symposium,
{FMCO} 2012, Bertinoro, Italy, September 24-28, 2012, Revised Lectures},
series = {Lecture Notes in Computer Science},
volume = {7866},
pages = {119--144},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-40615-7\_4},
doi = {10.1007/978-3-642-40615-7\_4},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmco/AlbertAACFGGMPRRZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AlbertAGGP12,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
Germ{\'{a}}n Puebla},
editor = {Nikolaj S. Bj{\o}rner and
Andrei Voronkov},
title = {Automatic Inference of Resource Consumption Bounds},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 18th
International Conference, LPAR-18, M{\'{e}}rida, Venezuela, March
11-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7180},
pages = {1--11},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28717-6\_1},
doi = {10.1007/978-3-642-28717-6\_1},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpar/AlbertAGGP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AlbertCPR12,
author = {Elvira Albert and
Jes{\'{u}}s Correas and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
editor = {Oleg Kiselyov and
Simon J. Thompson},
title = {Incremental resource usage analysis},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
USA, January 23-24, 2012},
pages = {25--34},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103746.2103754},
doi = {10.1145/2103746.2103754},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/AlbertCPR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AlbertAGGP12,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
Germ{\'{a}}n Puebla},
editor = {Oleg Kiselyov and
Simon J. Thompson},
title = {{COSTABS:} a cost and termination analyzer for {ABS}},
booktitle = {Proceedings of the {ACM} {SIGPLAN} 2012 Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2012, Philadelphia, Pennsylvania,
USA, January 23-24, 2012},
pages = {151--154},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2103746.2103774},
doi = {10.1145/2103746.2103774},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/AlbertAGGP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/AlbertAGP11,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Germ{\'{a}}n Puebla},
title = {Closed-Form Upper Bounds in Static Cost Analysis},
journal = {J. Autom. Reason.},
volume = {46},
number = {2},
pages = {161--203},
year = {2011},
url = {https://doi.org/10.1007/s10817-010-9174-1},
doi = {10.1007/S10817-010-9174-1},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jar/AlbertAGP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/LawallPV11,
author = {Julia Lawall and
Germ{\'{a}}n Puebla and
Germ{\'{a}}n Vidal},
title = {Editorial},
journal = {High. Order Symb. Comput.},
volume = {24},
number = {1-2},
pages = {1--2},
year = {2011},
url = {https://doi.org/10.1007/s10990-011-9069-9},
doi = {10.1007/S10990-011-9069-9},
timestamp = {Mon, 17 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/LawallPV11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/PueblaAH11,
author = {Germ{\'{a}}n Puebla and
Elvira Albert and
Manuel V. Hermenegildo},
title = {Efficient local unfolding with ancestor stacks},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {1},
pages = {1--32},
year = {2011},
url = {https://doi.org/10.1017/S1471068409990263},
doi = {10.1017/S1471068409990263},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/PueblaAH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/AlbertAGGP11,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
German Puebla},
editor = {Hongseok Yang},
title = {Cost Analysis of Concurrent {OO} Programs},
booktitle = {Programming Languages and Systems - 9th Asian Symposium, {APLAS} 2011,
Kenting, Taiwan, December 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7078},
pages = {238--254},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25318-8\_19},
doi = {10.1007/978-3-642-25318-8\_19},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/AlbertAGGP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AlbertBGHPR11,
author = {Elvira Albert and
Richard Bubel and
Samir Genaim and
Reiner H{\"{a}}hnle and
Germ{\'{a}}n Puebla and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez},
editor = {Siau{-}Cheng Khoo and
Jeremy G. Siek},
title = {Verified resource guarantees using {COSTA} and KeY},
booktitle = {Proceedings of the 2011 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2011, Austin, TX, USA, January 24-25,
2011},
pages = {73--76},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/1929501.1929513},
doi = {10.1145/1929501.1929513},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/AlbertBGHPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ruleml/HermenegildoBCLHMMP11,
author = {Manuel V. Hermenegildo and
Francisco Bueno and
Manuel Carro and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
R{\'{e}}my Haemmerl{\'{e}} and
Edison Mera and
Jos{\'{e}} F. Morales and
Germ{\'{a}}n Puebla},
editor = {Nick Bassiliades and
Guido Governatori and
Adrian Paschke},
title = {An Overview of the Ciao System},
booktitle = {Rule-Based Reasoning, Programming, and Applications - 5th International
Symposium, RuleML 2011 - Europe, Barcelona, Spain, July 19-21, 2011.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6826},
pages = {2},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22546-8\_2},
doi = {10.1007/978-3-642-22546-8\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ruleml/HermenegildoBCLHMMP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-5497,
author = {Manuel V. Hermenegildo and
Francisco Bueno and
Manuel Carro and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Edison Mera and
Jos{\'{e}} F. Morales and
German Puebla},
title = {An overview of Ciao and its design philosophy},
journal = {CoRR},
volume = {abs/1102.5497},
year = {2011},
url = {http://arxiv.org/abs/1102.5497},
eprinttype = {arXiv},
eprint = {1102.5497},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-5497.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Gomez-ZamalloaAP10,
author = {Miguel G{\'{o}}mez{-}Zamalloa and
Elvira Albert and
Germ{\'{a}}n Puebla},
title = {Test case generation for object-oriented imperative languages in {CLP}},
journal = {Theory Pract. Log. Program.},
volume = {10},
number = {4-6},
pages = {659--674},
year = {2010},
url = {https://doi.org/10.1017/S1471068410000347},
doi = {10.1017/S1471068410000347},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Gomez-ZamalloaAP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/Ramirez-DeantesCP10,
author = {Diana V. Ram{\'{\i}}rez{-}Deantes and
Jes{\'{u}}s Correas and
Germ{\'{a}}n Puebla},
editor = {Lu{\'{\i}}s Soares Barbosa and
Markus Lumpe},
title = {Modular Termination Analysis of Java Bytecode and Its Application
to phoneME Core Libraries},
booktitle = {Formal Aspects of Component Software - 7th International Workshop,
{FACS} 2010, Guimar{\~{a}}es, Portugal, October 14-16, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6921},
pages = {218--236},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-27269-1\_13},
doi = {10.1007/978-3-642-27269-1\_13},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/facs2/Ramirez-DeantesCP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlbertGRP10,
author = {Elvira Albert and
Miguel G{\'{o}}mez{-}Zamalloa and
Jos{\'{e}} Miguel Rojas and
Germ{\'{a}}n Puebla},
editor = {Mar{\'{\i}}a Alpuente},
title = {Compositional CLP-Based Test Data Generation for Imperative Languages},
booktitle = {Logic-Based Program Synthesis and Transformation - 20th International
Symposium, {LOPSTR} 2010, Hagenberg, Austria, July 23-25, 2010, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6564},
pages = {99--116},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-20551-4\_7},
doi = {10.1007/978-3-642-20551-4\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/AlbertGRP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/AlbertGP10,
author = {Elvira Albert and
Miguel G{\'{o}}mez{-}Zamalloa and
Germ{\'{a}}n Puebla},
editor = {John P. Gallagher and
Janis Voigtl{\"{a}}nder},
title = {{PET:} a partial evaluation-based test case generation tool for Java
bytecode},
booktitle = {Proceedings of the 2010 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, {PEPM} 2010, Madrid, Spain, January 18-19,
2010},
pages = {25--28},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706356.1706363},
doi = {10.1145/1706356.1706363},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/AlbertGP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AlbertAGPD10,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
German Puebla and
Diana V. Ram{\'{\i}}rez{-}Deantes},
editor = {Radhia Cousot and
Matthieu Martel},
title = {From Object Fields to Local Variables: {A} Practical Approach to Field-Sensitive
Analysis},
booktitle = {Static Analysis - 17th International Symposium, {SAS} 2010, Perpignan,
France, September 14-16, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6337},
pages = {100--116},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15769-1\_7},
doi = {10.1007/978-3-642-15769-1\_7},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/AlbertAGPD10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/splc/ClarkeDHJPWW10,
author = {Dave Clarke and
Nikolay Diakov and
Reiner H{\"{a}}hnle and
Einar Broch Johnsen and
Germ{\'{a}}n Puebla and
Balthasar Weitzel and
Peter Y. H. Wong},
editor = {Goetz Botterweck and
Stan Jarzabek and
Tomoji Kishi and
Jaejoon Lee and
Steve Livengood},
title = {{HATS} - {A} Formal Software Product Line Engineering Methodology},
booktitle = {Software Product Lines - 14th International Conference, {SPLC} 2010,
Jeju Island, South Korea, September 13-17, 2010. Workshop Proceedings
(Volume 2 : Workshops, Industrial Track, Doctoral Symposium, Demonstrations
and Tools)},
pages = {121--128},
publisher = {Lancaster University},
year = {2010},
url = {http://splc2010.postech.ac.kr/SPLC2010\_second\_volume.pdf},
timestamp = {Wed, 22 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/splc/ClarkeDHJPWW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-3250,
author = {Elvira Albert and
Miguel G{\'{o}}mez{-}Zamalloa and
Laurent Hubert and
German Puebla},
title = {Verification of Java Bytecode using Analysis and Transformation of
Logic Programs},
journal = {CoRR},
volume = {abs/1007.3250},
year = {2010},
url = {http://arxiv.org/abs/1007.3250},
eprinttype = {arXiv},
eprint = {1007.3250},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-3250.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1007-5195,
author = {Miguel G{\'{o}}mez{-}Zamalloa and
Elvira Albert and
Germ{\'{a}}n Puebla},
title = {Test Case Generation for Object-Oriented Imperative Languages in {CLP}},
journal = {CoRR},
volume = {abs/1007.5195},
year = {2010},
url = {http://arxiv.org/abs/1007.5195},
eprinttype = {arXiv},
eprint = {1007.5195},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1007-5195.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-4533,
author = {Elvira Albert and
Puri Arenas and
Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
title = {Certificate size reduction in Abstraction-Carrying Code},
journal = {CoRR},
volume = {abs/1010.4533},
year = {2010},
url = {http://arxiv.org/abs/1010.4533},
eprinttype = {arXiv},
eprint = {1010.4533},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1010-4533.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/Gomez-ZamalloaAP09,
author = {Miguel G{\'{o}}mez{-}Zamalloa and
Elvira Albert and
Germ{\'{a}}n Puebla},
title = {Decompilation of Java bytecode to Prolog by partial evaluation},
journal = {Inf. Softw. Technol.},
volume = {51},
number = {10},
pages = {1409--1427},
year = {2009},
url = {https://doi.org/10.1016/j.infsof.2009.04.010},
doi = {10.1016/J.INFSOF.2009.04.010},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/infsof/Gomez-ZamalloaAP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/AlbertGGP09,
author = {Elvira Albert and
John P. Gallagher and
Miguel G{\'{o}}mez{-}Zamalloa and
Germ{\'{a}}n Puebla},
title = {Type-based homeomorphic embedding for online termination},
journal = {Inf. Process. Lett.},
volume = {109},
number = {15},
pages = {879--886},
year = {2009},
url = {https://doi.org/10.1016/j.ipl.2009.04.016},
doi = {10.1016/J.IPL.2009.04.016},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ipl/AlbertGGP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/AlbertAAGP09,
author = {Elvira Albert and
Diego Esteban Alonso{-}Blas and
Puri Arenas and
Samir Genaim and
German Puebla},
editor = {Zhenjiang Hu},
title = {Asymptotic Resource Usage Bounds},
booktitle = {Programming Languages and Systems, 7th Asian Symposium, {APLAS} 2009,
Seoul, Korea, December 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5904},
pages = {294--310},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10672-9\_21},
doi = {10.1007/978-3-642-10672-9\_21},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/AlbertAAGP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AlbertAGP09,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Germ{\'{a}}n Puebla},
editor = {Ana Cavalcanti and
Dennis Dams},
title = {Field-Sensitive Value Analysis by Field-Insensitive Analysis},
booktitle = {{FM} 2009: Formal Methods, Second World Congress, Eindhoven, The Netherlands,
November 2-6, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5850},
pages = {370--386},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-05089-3\_24},
doi = {10.1007/978-3-642-05089-3\_24},
timestamp = {Mon, 21 Feb 2022 14:40:51 +0100},
biburl = {https://dblp.org/rec/conf/fm/AlbertAGP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/AlbertAGHP09,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Israel Herraiz and
German Puebla},
editor = {Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {Comparing Cost Functions in Resource Analysis},
booktitle = {Foundational and Practical Aspects of Resource Analysis - First International
Workshop, {FOPARA} 2009, Eindhoven, The Netherlands, November 6, 2009,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6324},
pages = {1--17},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-15331-0\_1},
doi = {10.1007/978-3-642-15331-0\_1},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fopara/AlbertAGHP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fosad/AlbertAGPZ09,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Germ{\'{a}}n Puebla and
Damiano Zanardini},
editor = {Alessandro Aldini and
Gilles Barthe and
Roberto Gorrieri},
title = {Resource Usage Analysis and Its Application to Resource Certification},
booktitle = {Foundations of Security Analysis and Design V, {FOSAD} 2007/2008/2009
Tutorial Lectures},
series = {Lecture Notes in Computer Science},
volume = {5705},
pages = {258--288},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03829-7\_9},
doi = {10.1007/978-3-642-03829-7\_9},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fosad/AlbertAGPZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlbertAGGPRRZ09,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Miguel G{\'{o}}mez{-}Zamalloa and
German Puebla and
Diana V. Ram{\'{\i}}rez{-}Deantes and
Guillermo Rom{\'{a}}n{-}D{\'{\i}}ez and
Damiano Zanardini},
editor = {Paqui Lucio and
Gin{\'{e}}s Moreno and
Ricardo Pe{\~{n}}a},
title = {Termination and Cost Analysis with {COSTA} and its User Interfaces},
booktitle = {Proceedings of the Ninth Spanish Conference on Programming and Languages,
{PROLE} 2009, San Sebasti{\'{a}}n, Spain, September 9-11, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {258},
number = {1},
pages = {109--121},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.12.008},
doi = {10.1016/J.ENTCS.2009.12.008},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlbertAGGPRRZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/2009,
editor = {Germ{\'{a}}n Puebla and
Germ{\'{a}}n Vidal},
title = {Proceedings of the 2009 {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-based Program Manipulation, {PEPM} 2009, Savannah, GA,
USA, January 19-20, 2009},
publisher = {{ACM}},
year = {2009},
url = {http://dl.acm.org/citation.cfm?id=1480945},
isbn = {978-1-60558-327-3},
timestamp = {Tue, 22 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-2199,
author = {Miguel G{\'{o}}mez{-}Zamalloa and
Elvira Albert and
Germ{\'{a}}n Puebla},
title = {On the Generation of Test Data for Prolog by Partial Evaluation},
journal = {CoRR},
volume = {abs/0903.2199},
year = {2009},
url = {http://arxiv.org/abs/0903.2199},
eprinttype = {arXiv},
eprint = {0903.2199},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-2199.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0911-4047,
author = {Germ{\'{a}}n Puebla and
Elvira Albert and
Manuel V. Hermenegildo},
title = {Efficient Local Unfolding with Ancestor Stacks},
journal = {CoRR},
volume = {abs/0911.4047},
year = {2009},
url = {http://arxiv.org/abs/0911.4047},
eprinttype = {arXiv},
eprint = {0911.4047},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0911-4047.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/AlbertPH08,
author = {Elvira Albert and
Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
title = {Abstraction-Carrying Code: a Model for Mobile Code Safety},
journal = {New Gener. Comput.},
volume = {26},
number = {2},
pages = {171--204},
year = {2008},
url = {https://doi.org/10.1007/s00354-008-0039-7},
doi = {10.1007/S00354-008-0039-7},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/AlbertPH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/HermenegildoBCLMP08,
author = {Manuel V. Hermenegildo and
Francisco Bueno and
Manuel Carro and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Jos{\'{e}} F. Morales and
Germ{\'{a}}n Puebla},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {An Overview of the Ciao Multiparadigm Language and Program Development
Environment and Its Design Philosophy},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5065},
pages = {209--237},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_14},
doi = {10.1007/978-3-540-68679-8\_14},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/HermenegildoBCLMP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/AlbertACGPZ08,
author = {Elvira Albert and
Puri Arenas and
Michael Codish and
Samir Genaim and
Germ{\'{a}}n Puebla and
Damiano Zanardini},
editor = {Gilles Barthe and
Frank S. de Boer},
title = {Termination Analysis of Java Bytecode},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 10th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2008, Oslo, Norway, June
4-6, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5051},
pages = {2--18},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68863-1\_2},
doi = {10.1007/978-3-540-68863-1\_2},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/AlbertACGPZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlbertGP08,
author = {Elvira Albert and
Miguel G{\'{o}}mez{-}Zamalloa and
Germ{\'{a}}n Puebla},
editor = {Michael Hanus},
title = {Test Data Generation of Bytecode by {CLP} Partial Evaluation},
booktitle = {Logic-Based Program Synthesis and Transformation, 18th International
Symposium, {LOPSTR} 2008, Valencia, Spain, July 17-18, 2008, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5438},
pages = {4--23},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-00515-2\_2},
doi = {10.1007/978-3-642-00515-2\_2},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/AlbertGP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/PietrzakCPH08,
author = {Pawel Pietrzak and
Jes{\'{u}}s Correas and
Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
editor = {Robert Gl{\"{u}}ck and
Oege de Moor},
title = {A practical type analysis for verification of modular prolog programs},
booktitle = {Proceedings of the 2008 {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-based Program Manipulation, {PEPM} 2008, San Francisco,
California, USA, January 7-8, 2008},
pages = {61--70},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1328408.1328418},
doi = {10.1145/1328408.1328418},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/PietrzakCPH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/AlbertAGPZ08,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Germ{\'{a}}n Puebla and
Damiano Zanardini},
editor = {Roger L. Wainwright and
Hisham Haddad},
title = {Removing useless variables in cost analysis of Java bytecode},
booktitle = {Proceedings of the 2008 {ACM} Symposium on Applied Computing (SAC),
Fortaleza, Ceara, Brazil, March 16-20, 2008},
pages = {368--375},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1363686.1363779},
doi = {10.1145/1363686.1363779},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sac/AlbertAGPZ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AlbertAGP08,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Germ{\'{a}}n Puebla},
editor = {Mar{\'{\i}}a Alpuente and
Germ{\'{a}}n Vidal},
title = {Automatic Inference of Upper Bounds for Recurrence Relations in Cost
Analysis},
booktitle = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
Spain, July 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5079},
pages = {221--237},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69166-2\_15},
doi = {10.1007/978-3-540-69166-2\_15},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/AlbertAGP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/scam/Gomez-ZamalloaAP08,
author = {Miguel G{\'{o}}mez{-}Zamalloa and
Elvira Albert and
Germ{\'{a}}n Puebla},
title = {Modular Decompilation of Low-Level Code by Partial Evaluation},
booktitle = {Eighth {IEEE} International Working Conference on Source Code Analysis
and Manipulation {(SCAM} 2008), 28-29 September 2008, Beijing, China},
pages = {239--248},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/SCAM.2008.35},
doi = {10.1109/SCAM.2008.35},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/scam/Gomez-ZamalloaAP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlbertAGP09,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Germ{\'{a}}n Puebla},
editor = {Jes{\'{u}}s Manuel Almendros{-}Jim{\'{e}}nez},
title = {Cost Relation Systems: {A} Language-Independent Target Language for
Cost Analysis},
booktitle = {Proceedings of the Eighth Spanish Conference on Programming and Computer
Languages, {PROLE} 2008, Gij{\'{o}}n, Spain, October 8-10, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {248},
pages = {31--46},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2009.07.057},
doi = {10.1016/J.ENTCS.2009.07.057},
timestamp = {Thu, 09 Mar 2023 14:51:20 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlbertAGP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OchoaP08,
author = {Claudio Ochoa and
Germ{\'{a}}n Puebla},
editor = {Alessandro Aldini and
Christel Baier},
title = {Oracle-Based Partial Evaluation},
booktitle = {Proceedings of the Sixth Workshop on Quantitative Aspects of Programming
Languages, {QAPL} 2008, Budapest, Hungary, March 29-30, 2008},
series = {Electronic Notes in Theoretical Computer Science},
volume = {220},
number = {3},
pages = {145--161},
publisher = {Elsevier},
year = {2008},
url = {https://doi.org/10.1016/j.entcs.2008.11.024},
doi = {10.1016/J.ENTCS.2008.11.024},
timestamp = {Fri, 20 Jan 2023 13:44:09 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OchoaP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AlbertAGPZ07,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Germ{\'{a}}n Puebla and
Damiano Zanardini},
editor = {Rocco De Nicola},
title = {Cost Analysis of Java Bytecode},
booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
{ESOP} 2007, Held as Part of the Joint European Conferences on Theory
and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
- April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {157--172},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6\_12},
doi = {10.1007/978-3-540-71316-6\_12},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/esop/AlbertAGPZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/AlbertAGPZ07,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
German Puebla and
Damiano Zanardini},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {{COSTA:} Design and Implementation of a Cost and Termination Analyzer
for Java Bytecode},
booktitle = {Formal Methods for Components and Objects, 6th International Symposium,
{FMCO} 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {5382},
pages = {113--132},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-92188-2\_5},
doi = {10.1007/978-3-540-92188-2\_5},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmco/AlbertAGPZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlbertGGP07,
author = {Elvira Albert and
John P. Gallagher and
Miguel G{\'{o}}mez{-}Zamalloa and
Germ{\'{a}}n Puebla},
editor = {Andy King},
title = {Type-Based Homeomorphic Embedding and Its Applications to Online Partial
Evaluation},
booktitle = {Logic-Based Program Synthesis and Transformation, 17th International
Symposium, {LOPSTR} 2007, Kongens Lyngby, Denmark, August 23-24, 2007,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4915},
pages = {23--42},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78769-3\_3},
doi = {10.1007/978-3-540-78769-3\_3},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/AlbertGGP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/AlbertGHP07,
author = {Elvira Albert and
Miguel G{\'{o}}mez{-}Zamalloa and
Laurent Hubert and
Germ{\'{a}}n Puebla},
editor = {Michael Hanus},
title = {Verification of Java Bytecode Using Analysis and Transformation of
Logic Programs},
booktitle = {Practical Aspects of Declarative Languages, 9th International Symposium,
{PADL} 2007, Nice, France, January 14-15, 2007},
series = {Lecture Notes in Computer Science},
volume = {4354},
pages = {124--139},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69611-7\_8},
doi = {10.1007/978-3-540-69611-7\_8},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/AlbertGHP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/MeraLPCH07,
author = {Edison Mera and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Germ{\'{a}}n Puebla and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Michael Hanus},
title = {Combining Static Analysis and Profiling for Estimating Execution Times},
booktitle = {Practical Aspects of Declarative Languages, 9th International Symposium,
{PADL} 2007, Nice, France, January 14-15, 2007},
series = {Lecture Notes in Computer Science},
volume = {4354},
pages = {140--154},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-69611-7\_9},
doi = {10.1007/978-3-540-69611-7\_9},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/MeraLPCH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/OchoaP07,
author = {Claudio Ochoa and
Germ{\'{a}}n Puebla},
editor = {G. Ramalingam and
Eelco Visser},
title = {Poly-controlled partial evaluation in practice},
booktitle = {Proceedings of the 2007 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2007, Nice, France, January
15-16, 2007},
pages = {164--173},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1244381.1244407},
doi = {10.1145/1244381.1244407},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/OchoaP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlbertAGPZ07,
author = {Elvira Albert and
Puri Arenas and
Samir Genaim and
Germ{\'{a}}n Puebla and
Damiano Zanardini},
editor = {Marieke Huisman and
Fausto Spoto},
title = {Experiments in Cost Analysis of Java Bytecode},
booktitle = {Proceedings of the Second Workshop on Bytecode Semantics, Verification,
Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal,
March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {1},
pages = {67--83},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.02.061},
doi = {10.1016/J.ENTCS.2007.02.061},
timestamp = {Tue, 31 Jan 2023 15:42:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlbertAGPZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Gomez-ZamalloaAP07,
author = {Miguel G{\'{o}}mez{-}Zamalloa and
Elvira Albert and
Germ{\'{a}}n Puebla},
editor = {Marieke Huisman and
Fausto Spoto},
title = {Improving the Decompilation of Java Bytecode to Prolog by Partial
Evaluation},
booktitle = {Proceedings of the Second Workshop on Bytecode Semantics, Verification,
Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal,
March 31, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {190},
number = {1},
pages = {85--101},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.02.062},
doi = {10.1016/J.ENTCS.2007.02.062},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Gomez-ZamalloaAP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2006,
editor = {Germ{\'{a}}n Puebla},
title = {Logic-Based Program Synthesis and Transformation, 16th International
Symposium, {LOPSTR} 2006, Venice, Italy, July 12-14, 2006, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4407},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71410-1},
doi = {10.1007/978-3-540-71410-1},
isbn = {978-3-540-71409-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701108,
author = {Edison Mera and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Germ{\'{a}}n Puebla and
Manuel Carro and
Manuel V. Hermenegildo},
title = {Towards Execution Time Estimation for Logic Programs via Static Analysis
and Profiling},
journal = {CoRR},
volume = {abs/cs/0701108},
year = {2007},
url = {http://arxiv.org/abs/cs/0701108},
eprinttype = {arXiv},
eprint = {cs/0701108},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0701108.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0701111,
author = {Elvira Albert and
Puri Arenas and
Germ{\'{a}}n Puebla},
title = {Some Issues on Incremental Abstraction-Carrying Code},
journal = {CoRR},
volume = {abs/cs/0701111},
year = {2007},
url = {http://arxiv.org/abs/cs/0701111},
eprinttype = {arXiv},
eprint = {cs/0701111},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0701111.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cases/CarroMMPH06,
author = {Manuel Carro and
Jos{\'{e}} F. Morales and
Henk L. Muller and
Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
editor = {Seongsoo Hong and
Wayne H. Wolf and
Kriszti{\'{a}}n Flautner and
Taewhan Kim},
title = {High-level languages for small devices: a case study},
booktitle = {Proceedings of the 2006 International Conference on Compilers, Architecture,
and Synthesis for Embedded Systems, {CASES} 2006, Seoul, Korea, October
22-25, 2006},
pages = {271--281},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1176760.1176794},
doi = {10.1145/1176760.1176794},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cases/CarroMMPH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AlbertAPH06,
author = {Elvira Albert and
Puri Arenas{-}S{\'{a}}nchez and
Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Reduced Certificates for Abstraction-Carrying Code},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {163--178},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_14},
doi = {10.1007/11799573\_14},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/AlbertAPH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MeraLPCH06,
author = {Edison Mera and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Germ{\'{a}}n Puebla and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Sandro Etalle and
Miroslaw Truszczynski},
title = {Using Combined Static Analysis and Profiling for Logic Program Execution
Time Estimation},
booktitle = {Logic Programming, 22nd International Conference, {ICLP} 2006, Seattle,
WA, USA, August 17-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4079},
pages = {431--432},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11799573\_36},
doi = {10.1007/11799573\_36},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MeraLPCH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AlbertAP06,
author = {Elvira Albert and
Puri Arenas and
Germ{\'{a}}n Puebla},
editor = {Miki Hermann and
Andrei Voronkov},
title = {An Incremental Approach to Abstraction-Carrying Code},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th
International Conference, {LPAR} 2006, Phnom Penh, Cambodia, November
13-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4246},
pages = {377--391},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11916277\_26},
doi = {10.1007/11916277\_26},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AlbertAP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/PietrzakCPH06,
author = {Pawel Pietrzak and
Jes{\'{u}}s Correas and
Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
editor = {Miki Hermann and
Andrei Voronkov},
title = {Context-Sensitive Multivariant Assertion Checking in Modular Programs},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 13th
International Conference, {LPAR} 2006, Phnom Penh, Cambodia, November
13-17, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4246},
pages = {392--406},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11916277\_27},
doi = {10.1007/11916277\_27},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/PietrzakCPH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/PueblaO06,
author = {Germ{\'{a}}n Puebla and
Claudio Ochoa},
editor = {Annalisa Bossi and
Michael J. Maher},
title = {Poly-controlled partial evaluation},
booktitle = {Proceedings of the 8th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 10-12, 2006,
Venice, Italy},
pages = {261--271},
publisher = {{ACM}},
year = {2006},
url = {https://doi.org/10.1145/1140335.1140366},
doi = {10.1145/1140335.1140366},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/PueblaO06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/PueblaAH06,
author = {Germ{\'{a}}n Puebla and
Elvira Albert and
Manuel V. Hermenegildo},
editor = {Kwangkeun Yi},
title = {Abstract Interpretation with Specialized Definitions},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {107--126},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_8},
doi = {10.1007/11823230\_8},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/PueblaAH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tgc/BartheBCGHMPPSV06,
author = {Gilles Barthe and
Lennart Beringer and
Pierre Cr{\'{e}}gut and
Benjamin Gr{\'{e}}goire and
Martin Hofmann and
Peter M{\"{u}}ller and
Erik Poll and
Germ{\'{a}}n Puebla and
Ian Stark and
Eric V{\'{e}}tillard},
editor = {Ugo Montanari and
Donald Sannella and
Roberto Bruni},
title = {{MOBIUS:} Mobility, Ubiquity, Security},
booktitle = {Trustworthy Global Computing, Second Symposium, {TGC} 2006, Lucca,
Italy, November 7-9, 2006, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {4661},
pages = {10--29},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-75336-0\_2},
doi = {10.1007/978-3-540-75336-0\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/tgc/BartheBCGHMPPSV06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/OchoaP07,
author = {Claudio Ochoa and
Germ{\'{a}}n Puebla},
editor = {Francisco Javier L{\'{o}}pez{-}Fraguas},
title = {A Study on the Practicality of Poly-Controlled Partial Evaluation},
booktitle = {Proceedings of the 15th Workshop on Functional and (Constraint) Logic
Programming, {WFLP} 2006, Madrid, Spain, November 16-17, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {177},
pages = {137--151},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.01.008},
doi = {10.1016/J.ENTCS.2007.01.008},
timestamp = {Tue, 24 Jan 2023 12:32:48 +0100},
biburl = {https://dblp.org/rec/journals/entcs/OchoaP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/HermenegildoPBL05,
author = {Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla and
Francisco Bueno and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
title = {Integrated program debugging, verification, and optimization using
abstract interpretation (and the Ciao system preprocessor)},
journal = {Sci. Comput. Program.},
volume = {58},
number = {1-2},
pages = {115--140},
year = {2005},
url = {https://doi.org/10.1016/j.scico.2005.02.006},
doi = {10.1016/J.SCICO.2005.02.006},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/HermenegildoPBL05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MoralesCPH05,
author = {Jos{\'{e}} F. Morales and
Manuel Carro and
Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {A Generator of Efficient Abstract Machine Implementations and Its
Application to Emulator Minimization},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {21--36},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_5},
doi = {10.1007/11562931\_5},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MoralesCPH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PueblaAH05,
author = {Germ{\'{a}}n Puebla and
Elvira Albert and
Manuel V. Hermenegildo},
editor = {Maurizio Gabbrielli and
Gopal Gupta},
title = {A Generic Framework for the Analysis and Specialization of Logic Programs},
booktitle = {Logic Programming, 21st International Conference, {ICLP} 2005, Sitges,
Spain, October 2-5, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3668},
pages = {407--409},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11562931\_32},
doi = {10.1007/11562931\_32},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/PueblaAH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/OchoaPH05,
author = {Claudio Ochoa and
Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
editor = {Patricia M. Hill},
title = {Removing Superfluous Versions in Polyvariant Specialization of Prolog
Programs},
booktitle = {Logic Based Program Synthesis and Transformation, 15th International
Symposium, {LOPSTR} 2005, London, UK, September 7-9, 2005, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3901},
pages = {80--97},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11680093\_6},
doi = {10.1007/11680093\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/OchoaPH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/AlbertPG05,
author = {Elvira Albert and
Germ{\'{a}}n Puebla and
John P. Gallagher},
editor = {Patricia M. Hill},
title = {Non-leftmost Unfolding in Partial Evaluation of Logic Programs with
Impure Predicates},
booktitle = {Logic Based Program Synthesis and Transformation, 15th International
Symposium, {LOPSTR} 2005, London, UK, September 7-9, 2005, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3901},
pages = {115--132},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11680093\_8},
doi = {10.1007/11680093\_8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/AlbertPG05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/GallagherPA05,
author = {John P. Gallagher and
Germ{\'{a}}n Puebla and
Elvira Albert},
editor = {Patricia M. Hill},
title = {Converting One Type-Based Abstract Domain to Another},
booktitle = {Logic Based Program Synthesis and Transformation, 15th International
Symposium, {LOPSTR} 2005, London, UK, September 7-9, 2005, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3901},
pages = {147--162},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11680093\_10},
doi = {10.1007/11680093\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/GallagherPA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/CorreasPHB05,
author = {Jes{\'{u}}s Correas and
Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo and
Francisco Bueno},
editor = {Patricia M. Hill},
title = {Experiments in Context-Sensitive Analysis of Modular Programs},
booktitle = {Logic Based Program Synthesis and Transformation, 15th International
Symposium, {LOPSTR} 2005, London, UK, September 7-9, 2005, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3901},
pages = {163--178},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11680093\_11},
doi = {10.1007/11680093\_11},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/CorreasPHB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpe/PueblaHA05,
author = {Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo and
Elvira Albert},
editor = {Alexander Serebrenik and
Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez},
title = {A Generic Framework for the Analysis and Specialization of Logic Programs},
booktitle = {Proceedings of the 15th International Workshop on Logic Programming
Environments, Sitges (Barcelona), Spain, October 5, 2005},
pages = {61--76},
year = {2005},
url = {http://arxiv.org/abs/cs.PL/0508111},
timestamp = {Fri, 05 Feb 2021 11:07:04 +0100},
biburl = {https://dblp.org/rec/conf/lpe/PueblaHA05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/HermenegildoALP05,
author = {Manuel V. Hermenegildo and
Elvira Albert and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Germ{\'{a}}n Puebla},
editor = {Pedro Barahona and
Amy P. Felty},
title = {Abstraction carrying code and resource-awareness},
booktitle = {Proceedings of the 7th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 11-13 2005,
Lisbon, Portugal},
pages = {1--11},
publisher = {{ACM}},
year = {2005},
url = {https://doi.org/10.1145/1069774.1069775},
doi = {10.1145/1069774.1069775},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/HermenegildoALP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0508111,
author = {Germ{\'{a}}n Puebla and
Elvira Albert and
Manuel V. Hermenegildo},
title = {A Generic Framework for the Analysis and Specialization of Logic Programs},
journal = {CoRR},
volume = {abs/cs/0508111},
year = {2005},
url = {http://arxiv.org/abs/cs/0508111},
eprinttype = {arXiv},
eprint = {cs/0508111},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0508111.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/HermenegildoALP04,
author = {Manuel V. Hermenegildo and
Elvira Albert and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Germ{\'{a}}n Puebla},
editor = {Marco Danelutto and
Marco Vanneschi and
Domenico Laforenza},
title = {Some Techniques for Automated, Resource-Aware Distributed and Mobile
Computing in a Multi-paradigm Programming System},
booktitle = {Euro-Par 2004 Parallel Processing, 10th International Euro-Par Conference,
Pisa, Italy, August 31-September 3, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3149},
pages = {21--36},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27866-5\_3},
doi = {10.1007/978-3-540-27866-5\_3},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/HermenegildoALP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/AlbertPH04,
author = {Elvira Albert and
Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
editor = {Bart Demoen and
Vladimir Lifschitz},
title = {Abstract Interpretation-Based Mobile Code Certification},
booktitle = {Logic Programming, 20th International Conference, {ICLP} 2004, Saint-Malo,
France, September 6-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3132},
pages = {446--447},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27775-0\_31},
doi = {10.1007/978-3-540-27775-0\_31},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/AlbertPH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/PueblaAH04,
author = {Germ{\'{a}}n Puebla and
Elvira Albert and
Manuel V. Hermenegildo},
editor = {Sandro Etalle},
title = {Efficient Local Unfolding with Ancestor Stacks for Full Prolog},
booktitle = {Logic Based Program Synthesis and Transformation, 14th International
Symposium, {LOPSTR} 2004, Verona, Italy, August 26-28, 2004, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3573},
pages = {149--165},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11506676\_10},
doi = {10.1007/11506676\_10},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/PueblaAH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/AlbertPH04,
author = {Elvira Albert and
Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
editor = {Franz Baader and
Andrei Voronkov},
title = {Abstraction-Carrying Code},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 11th
International Conference, {LPAR} 2004, Montevideo, Uruguay, March
14-18, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3452},
pages = {380--397},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-32275-7\_25},
doi = {10.1007/978-3-540-32275-7\_25},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/AlbertPH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smc/AlbertPH04,
author = {Elvira Albert and
Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
title = {Experiments in abstract interpretation-based code certification for
pervasive systems},
booktitle = {Proceedings of the {IEEE} International Conference on Systems, Man
{\&} Cybernetics: The Hague, Netherlands, 10-13 October 2004},
pages = {1125--1130},
publisher = {{IEEE}},
year = {2004},
url = {https://doi.org/10.1109/ICSMC.2004.1399773},
doi = {10.1109/ICSMC.2004.1399773},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/smc/AlbertPH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AlbertPH05,
author = {Elvira Albert and
Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
editor = {Jens Knoop and
George C. Necula and
Wolf Zimmermann},
title = {An Abstract Interpretation-based Approach to Mobile Code Safety},
booktitle = {Proceedings of the 3rd International Workshop on Compiler Optimization
Meets Compiler Verification, COCV@ETAPS 2004, Barcelona, Spain, April
3, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {132},
number = {1},
pages = {113--129},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2005.01.032},
doi = {10.1016/J.ENTCS.2005.01.032},
timestamp = {Tue, 13 Dec 2022 10:38:22 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AlbertPH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:conf/lopstr/PueblaCHBBMS04,
author = {Germ{\'{a}}n Puebla and
Jes{\'{u}}s Correas and
Manuel V. Hermenegildo and
Francisco Bueno and
Maria J. Garc{\'{\i}}a de la Banda and
Kim Marriott and
Peter J. Stuckey},
editor = {Maurice Bruynooghe and
Kung{-}Kiu Lau},
title = {A Generic Framework for Context-Sensitive Analysis of Modular Programs},
booktitle = {Program Development in Computational Logic: {A} Decade of Research
Advances in Logic-Based Program Development},
series = {Lecture Notes in Computer Science},
volume = {3049},
pages = {233--260},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-25951-0\_8},
doi = {10.1007/978-3-540-25951-0\_8},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/PueblaCHBBMS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/PueblaH03,
author = {Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
editor = {Michael Leuschel},
title = {Abstract specialization and its applications},
booktitle = {Proceedings of the 2003 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-based Program Manipulation, 2003, San Diego, California,
USA, June 7, 2003},
pages = {29--43},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/777388.777393},
doi = {10.1145/777388.777393},
timestamp = {Fri, 25 Jun 2021 17:17:37 +0200},
biburl = {https://dblp.org/rec/conf/pepm/PueblaH03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/HermenegildoPBL03,
author = {Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla and
Francisco Bueno and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
editor = {Radhia Cousot},
title = {Program Development Using Abstract Interpretation (And The Ciao System
Preprocessor)},
booktitle = {Static Analysis, 10th International Symposium, {SAS} 2003, San Diego,
CA, USA, June 11-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2694},
pages = {127--152},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-44898-5\_8},
doi = {10.1007/3-540-44898-5\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/HermenegildoPBL03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/colognet/HermenegildoPBL02,
author = {Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla and
Francisco Bueno and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
editor = {Barry O'Sullivan},
title = {Abstract Verification and Debugging of Constraint Logic Programs},
booktitle = {Recent Advances in Constraints, Joint ERCIM/CologNet International
Workshop on Constraint Solving and Constraint Logic Programming, Cork,
Ireland, June 19-21, 2002. Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2627},
pages = {1--14},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36607-5\_1},
doi = {10.1007/3-540-36607-5\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/colognet/HermenegildoPBL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/HermenegildoPBL02,
author = {Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla and
Francisco Bueno and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
editor = {Peter Widmayer and
Francisco Triguero Ruiz and
Rafael Morales Bueno and
Matthew Hennessy and
Stephan J. Eidenbenz and
Ricardo Conejo},
title = {Program Debugging and Validation Using Semantic Approximations and
Partial Specifications},
booktitle = {Automata, Languages and Programming, 29th International Colloquium,
{ICALP} 2002, Malaga, Spain, July 8-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2380},
pages = {69--72},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45465-9\_7},
doi = {10.1007/3-540-45465-9\_7},
timestamp = {Wed, 11 Sep 2019 13:15:53 +0200},
biburl = {https://dblp.org/rec/conf/icalp/HermenegildoPBL02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/GallagherP02,
author = {John P. Gallagher and
Germ{\'{a}}n Puebla},
editor = {Shriram Krishnamurthi and
C. R. Ramakrishnan},
title = {Abstract Interpretation over Non-deterministic Finite Tree Automata
for Set-Based Analysis of Logic Programs},
booktitle = {Practical Aspects of Declarative Languages, 4th International Symposium,
{PADL} 2002, Portland, OR, USA, January 19-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2257},
pages = {243--261},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45587-6\_16},
doi = {10.1007/3-540-45587-6\_16},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/GallagherP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2002,
editor = {Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla},
title = {Static Analysis, 9th International Symposium, {SAS} 2002, Madrid,
Spain, September 17-20, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2477},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45789-5},
doi = {10.1007/3-540-45789-5},
isbn = {3-540-44235-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/HermenegildoPMS00,
author = {Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla and
Kim Marriott and
Peter J. Stuckey},
title = {Incremental analysis of constraint logic programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {22},
number = {2},
pages = {187--223},
year = {2000},
url = {https://doi.org/10.1145/349214.349216},
doi = {10.1145/349214.349216},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/HermenegildoPMS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discipl/PueblaBH00,
author = {Germ{\'{a}}n Puebla and
Francisco Bueno and
Manuel V. Hermenegildo},
editor = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
title = {An Assertion Language for Constraint Logic Programs},
booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain
Debugging (DiSCiPl project)},
series = {Lecture Notes in Computer Science},
volume = {1870},
pages = {23--62},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722311\_2},
doi = {10.1007/10722311\_2},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/discipl/PueblaBH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discipl/PueblaBH00a,
author = {Germ{\'{a}}n Puebla and
Francisco Bueno and
Manuel V. Hermenegildo},
editor = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
title = {A Generic Processor for Program Validation and Debugging},
booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain
Debugging (DiSCiPl project)},
series = {Lecture Notes in Computer Science},
volume = {1870},
pages = {63--107},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722311\_3},
doi = {10.1007/10722311\_3},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/discipl/PueblaBH00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BuenoBHMPS00,
author = {Francisco Bueno and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo and
Kim Marriott and
Germ{\'{a}}n Puebla and
Peter J. Stuckey},
editor = {Kung{-}Kiu Lau},
title = {A model for inter-module analysis and optimizing compilation},
booktitle = {Extended Abstracts of the 10th International Workshop on Logic-based
Program Synthesis and Transformation, {LOPSTR} 2000, London, UK, July
24-28, 2000},
series = {Technical Report},
volume = {{UMCS-00-6-1}},
publisher = {Department of Computer Science, University of Manchester},
year = {2000},
url = {ftp://ftp.cs.man.ac.uk/pub/TR/UMCS-00-6-1-bueno.ps.Z},
timestamp = {Tue, 11 Feb 2014 17:45:37 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/BuenoBHMPS00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/BuenoBHMPS00a,
author = {Francisco Bueno and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo and
Kim Marriott and
Germ{\'{a}}n Puebla and
Peter J. Stuckey},
editor = {Kung{-}Kiu Lau},
title = {A Model for Inter-module Analysis and Optimizing Compilation},
booktitle = {Logic Based Program Synthesis and Transformation, 10th International
Workshop, {LOPSTR} 2000 London, UK, July 24-28, 2000, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {2042},
pages = {86--102},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45142-0\_6},
doi = {10.1007/3-540-45142-0\_6},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/BuenoBHMPS00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/PueblaH99,
author = {Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
title = {Abstract Multiple Specialization and Its Application to Program Parallelization},
journal = {J. Log. Program.},
volume = {41},
number = {2-3},
pages = {279--316},
year = {1999},
url = {https://doi.org/10.1016/S0743-1066(99)00031-X},
doi = {10.1016/S0743-1066(99)00031-X},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/PueblaH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HermenegildoBPL99,
author = {Manuel V. Hermenegildo and
Francisco Bueno and
Germ{\'{a}}n Puebla and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
editor = {Danny De Schreye},
title = {Program Analysis, Debugging, and Optimization Using the Ciao System
Preprocessor},
booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
New Mexico, USA, November 29 - December 4, 1999},
pages = {52--66},
publisher = {{MIT} Press},
year = {1999},
timestamp = {Thu, 07 Apr 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/HermenegildoBPL99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/PueblaBH99,
author = {Germ{\'{a}}n Puebla and
Francisco Bueno and
Manuel V. Hermenegildo},
editor = {Annalisa Bossi},
title = {Combined Static and Dynamic Assertion-Based Debugging of Constraint
Logic Programs},
booktitle = {Logic Programming Synthesis and Transformation, 9th International
Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {1817},
pages = {273--292},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/10720327\_16},
doi = {10.1007/10720327\_16},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/PueblaBH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/PueblaHG99,
author = {Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo and
John P. Gallagher},
editor = {Olivier Danvy},
title = {An Integration of Partial Evaluation in a Generic Abstract Interpretation
Framework},
booktitle = {Proceedings of the 1999 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Semantics-Based Program Manipulation, San Antonio, Texas, USA,
January 22-23, 1999. Technical report {BRICS-NS-99-1}},
pages = {75--84},
publisher = {University of Aarhus},
year = {1999},
timestamp = {Tue, 22 May 2012 15:24:56 +0200},
biburl = {https://dblp.org/rec/conf/pepm/PueblaHG99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/GermanM99,
author = {Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
editor = {Michael Leuschel},
title = {Some Issues in Analysis and Specialization of Modular Ciao-Prolog
Programs},
booktitle = {Workshop on Optimization and Implementation of Declarative Programs,
{WOID} 1999, in connection with the International Conference on Logic
Programming, {ICLP} 1999, Las Cruces, New Mexico, USA, December 2-3,
1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {30},
number = {2},
pages = {163--187},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80637-1},
doi = {10.1016/S1571-0661(05)80637-1},
timestamp = {Wed, 23 Nov 2022 16:37:40 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GermanM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/DucasseKP99,
author = {Mireille Ducass{\'{e}} and
Anthony J. Kusalik and
Germ{\'{a}}n Puebla},
editor = {Mireille Ducass{\'{e}} and
Anthony J. Kusalik and
Germ{\'{a}}n Puebla},
title = {Preface},
booktitle = {Tenth Workshop on Logic Programming Environments, {WLPE} 1999, in
connection with the International Conference on Logic Programming,
{ICLP} 1999, Las Cruces, New Mexico, USA, Nobember 29, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {30},
number = {4},
pages = {197},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80657-7},
doi = {10.1016/S1571-0661(05)80657-7},
timestamp = {Wed, 23 Nov 2022 16:44:13 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DucasseKP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/99/HermenegildoPB99,
author = {Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla and
Francisco Bueno},
editor = {Krzysztof R. Apt and
Victor W. Marek and
Mirek Truszczynski and
David Scott Warren},
title = {Using Global Analysis, Partial Specifications, and an Extensible Assertion
Language for Program Validation and Debugging},
booktitle = {The Logic Programming Paradigm - {A} 25-Year Perspective},
series = {Artificial Intelligence},
pages = {161--192},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-3-642-60085-2\_7},
doi = {10.1007/978-3-642-60085-2\_7},
timestamp = {Mon, 29 Jul 2019 13:50:28 +0200},
biburl = {https://dblp.org/rec/books/sp/99/HermenegildoPB99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lpe/1999,
editor = {Mireille Ducass{\'{e}} and
Anthony J. Kusalik and
Germ{\'{a}}n Puebla},
title = {Tenth Workshop on Logic Programming Environments, {WLPE} 1999, in
connection with the International Conference on Logic Programming,
{ICLP} 1999, Las Cruces, New Mexico, USA, Nobember 29, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {30},
number = {4},
publisher = {Elsevier},
year = {1999},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/30/issue/4},
timestamp = {Wed, 23 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lpe/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cp/PueblaBH98,
author = {Germ{\'{a}}n Puebla and
Francisco Bueno and
Manuel V. Hermenegildo},
editor = {Michael J. Maher and
Jean{-}Francois Puget},
title = {A Framework for Assertion-Based Debugging in Constraint Logic Programming},
booktitle = {Principles and Practice of Constraint Programming - CP98, 4th International
Conference, Pisa, Italy, October 26-30, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1520},
pages = {472},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49481-2\_43},
doi = {10.1007/3-540-49481-2\_43},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/cp/PueblaBH98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aadebug/BuenoDDFHMP97,
author = {Francisco Bueno and
Pierre Deransart and
Wlodzimierz Drabent and
G{\'{e}}rard Ferrand and
Manuel V. Hermenegildo and
Jan Maluszynski and
Germ{\'{a}}n Puebla},
editor = {Mariam Kamkar},
title = {On the Role of Semantic Approximations on Validation and Diagnosis
of Contraint Logic Programs},
booktitle = {Proceedings of the Third International Workshop on Automated Debugging,
{AADEBUG} 1997, Link{\"{o}}ping, Sweden, May 26-27, 1997},
series = {Link{\"{o}}ping Electronic Articles in Computer and Information
Science},
volume = {2},
number = {009},
pages = {155--169},
publisher = {Link{\"{o}}ping University Electronic Press},
year = {1997},
url = {http://www.ep.liu.se/ecp/article.asp?issue=001\&\#38;article=013},
timestamp = {Sat, 07 Sep 2019 11:59:26 +0200},
biburl = {https://dblp.org/rec/conf/aadebug/BuenoDDFHMP97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PueblaBMS97,
author = {Germ{\'{a}}n Puebla and
Maria J. Garc{\'{\i}}a de la Banda and
Kim Marriott and
Peter J. Stuckey},
editor = {Lee Naish},
title = {Optimization of Logic Programs with Dynamic Scheduling},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {93--107},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/PueblaBMS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/PueblaCDDFS97,
author = {Germ{\'{a}}n Puebla and
Marco Comini and
Wlodzimierz Drabent and
Mireille Ducass{\'{e}} and
Massimo Fabris and
Christian Schulte},
editor = {Jan Maluszynski},
title = {Tools and Environments for (Constraint) Logic Programming (Workshop
Overview)},
booktitle = {Logic Programming, Proceedings of the 1997 International Symposium,
Port Jefferson, Long Island, NY, USA, October 13-16, 1997},
pages = {417--418},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Tue, 26 Dec 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/PueblaCDDFS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/HermenegildoBCCBLP96,
author = {Manuel V. Hermenegildo and
Francisco Bueno and
Daniel Cabeza and
Manuel Carro and
Maria J. Garc{\'{\i}}a de la Banda and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Germ{\'{a}}n Puebla},
editor = {Paqui Lucio and
Maurizio Martelli and
Marisa Navarro},
title = {The {CIAO} Multi-Dialect Compiler and System: An Experimentation Workbench
for Future {(C)LP} Systems},
booktitle = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96,
Donostia-San Sebastian, Spain, July 15-18, 1996},
pages = {105--110},
year = {1996},
timestamp = {Thu, 07 Apr 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agp/HermenegildoBCCBLP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/BuenoGHP96,
author = {Francisco Bueno and
Daniel Cabeza Gras and
Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla},
editor = {Hanne Riis Nielson},
title = {Global Analysis of Standard Prolog Programs},
booktitle = {Programming Languages and Systems - ESOP'96, 6th European Symposium
on Programming, Link{\"{o}}ping, Sweden, April 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1058},
pages = {108--124},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61055-3\_32},
doi = {10.1007/3-540-61055-3\_32},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/BuenoGHP96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/PueblaH96,
author = {Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
editor = {John P. Gallagher},
title = {Abstract Specialization and Its Application to Program Parallelization},
booktitle = {Logic Programming Synthesis and Transformation, 6th International
Workshop, LOPSTR'96, Stockholm, Sweden, August 28-30, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1207},
pages = {169--186},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62718-9\_10},
doi = {10.1007/3-540-62718-9\_10},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/PueblaH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/PueblaH96,
author = {Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
editor = {Herbert Kuchen and
S. Doaitse Swierstra},
title = {Automatic Optimization of Dynamic Scheduling in Logic Programs},
booktitle = {Programming Languages: Implementations, Logics, and Programs, 8th
International Symposium, PLILP'96, Aachen, Germany, September 24-27,
1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1140},
pages = {475--476},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61756-6\_107},
doi = {10.1007/3-540-61756-6\_107},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/plilp/PueblaH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/PueblaH96,
author = {Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
editor = {Radhia Cousot and
David A. Schmidt},
title = {Optimized Algorithms for Incremental Analysis of Logic Programs},
booktitle = {Static Analysis, Third International Symposium, SAS'96, Aachen, Germany,
September 24-26, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1145},
pages = {270--284},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61739-6\_47},
doi = {10.1007/3-540-61739-6\_47},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/PueblaH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HermenegildoPMS95,
author = {Manuel V. Hermenegildo and
Germ{\'{a}}n Puebla and
Kim Marriott and
Peter J. Stuckey},
editor = {Leon Sterling},
title = {Incremental Analysis of Logic Programs},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference
on Logic Programming, Tokyo, Japan, June 13-16, 1995},
pages = {797--811},
publisher = {{MIT} Press},
year = {1995},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/HermenegildoPMS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/PueblaH95,
author = {Germ{\'{a}}n Puebla and
Manuel V. Hermenegildo},
editor = {Neil D. Jones},
title = {Implementation of Multiple Specialization in Logic Programs},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {77--87},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215561},
doi = {10.1145/215465.215561},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/PueblaH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-05-08 21:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
