Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Pedro López-García 0001
@inproceedings{DBLP:conf/lopstr/GallagherHML23,
author = {John P. Gallagher and
Manuel V. Hermenegildo and
Jos{\'{e}} F. Morales and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
editor = {Robert Gl{\"{u}}ck and
Bishoksan Kafle},
title = {Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation},
booktitle = {Logic-Based Program Synthesis and Transformation - 33rd International
Symposium, {LOPSTR} 2023, Cascais, Portugal, October 23-24, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14330},
pages = {28--38},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45784-5\_3},
doi = {10.1007/978-3-031-45784-5\_3},
timestamp = {Thu, 09 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/GallagherHML23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/JurjoMLH23,
author = {Daniel Jurjo and
Jos{\'{e}} F. Morales and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo},
editor = {Robert Gl{\"{u}}ck and
Bishoksan Kafle},
title = {A Rule-Based Approach for Designing and Composing Abstract Domains},
booktitle = {Logic-Based Program Synthesis and Transformation - 33rd International
Symposium, {LOPSTR} 2023, Cascais, Portugal, October 23-24, 2023,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14330},
pages = {80--98},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45784-5\_6},
doi = {10.1007/978-3-031-45784-5\_6},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/JurjoMLH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2309-07259,
author = {Maximiliano Klemen and
Miguel {\'{A}}. Carreira{-}Perpi{\~{n}}{\'{a}}n and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
editor = {Enrico Pontelli and
Stefania Costantini and
Carmine Dodaro and
Sarah Alice Gaggl and
Roberta Calegari and
Artur S. d'Avila Garcez and
Francesco Fabiano and
Alessandra Mileo and
Alessandra Russo and
Francesca Toni},
title = {Solving Recurrence Relations using Machine Learning, with Application
to Cost Analysis},
booktitle = {Proceedings 39th International Conference on Logic Programming, {ICLP}
2023, Imperial College London, UK, 9th July 2023 - 15th July 2023},
series = {{EPTCS}},
volume = {385},
pages = {155--168},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.385.16},
doi = {10.4204/EPTCS.385.16},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-07259.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Hermenegildo00C23,
author = {Manuel V. Hermenegildo and
Jos{\'{e}} F. Morales and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel Carro},
editor = {David Scott Warren and
Ver{\'{o}}nica Dahl and
Thomas Eiter and
Manuel V. Hermenegildo and
Robert A. Kowalski and
Francesca Rossi},
title = {Types, Modes and so Much More - The Prolog Way},
booktitle = {Prolog: The Next 50 Years},
series = {Lecture Notes in Computer Science},
volume = {13900},
pages = {23--37},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35254-6\_2},
doi = {10.1007/978-3-031-35254-6\_2},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/Hermenegildo00C23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/Hermenegildo0023,
author = {Manuel V. Hermenegildo and
Jos{\'{e}} F. Morales and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
editor = {David Scott Warren and
Ver{\'{o}}nica Dahl and
Thomas Eiter and
Manuel V. Hermenegildo and
Robert A. Kowalski and
Francesca Rossi},
title = {Some Thoughts on How to Teach Prolog},
booktitle = {Prolog: The Next 50 Years},
series = {Lecture Notes in Computer Science},
volume = {13900},
pages = {107--123},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35254-6\_9},
doi = {10.1007/978-3-031-35254-6\_9},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/Hermenegildo0023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2023hermenegildo,
editor = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
John P. Gallagher and
Roberto Giacobazzi},
title = {Analysis, Verification and Transformation for Declarative Programming
and Intelligent Systems - Essays Dedicated to Manuel Hermenegildo
on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13160},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-31476-6},
doi = {10.1007/978-3-031-31476-6},
isbn = {978-3-031-31475-9},
timestamp = {Wed, 24 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2023hermenegildo.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Lopez-GarciaKLH21,
author = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Maximiliano Klemen and
Umer Liqat and
Manuel V. Hermenegildo},
title = {A general framework for static profiling of parametric resource usage
- {CORRIGENDUM}},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {2},
pages = {291},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000447},
doi = {10.1017/S1471068420000447},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/Lopez-GarciaKLH21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Sanchez-OrdazGP21,
author = {Miguel A. Sanchez{-}Ordaz and
Isabel Garcia{-}Contreras and
Victor Perez{-}Carrasco and
Jos{\'{e}} F. Morales and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo},
title = {VeriFly: On-the-fly Assertion Checking via Incrementality},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {6},
pages = {768--784},
year = {2021},
url = {https://doi.org/10.1017/S1471068421000430},
doi = {10.1017/S1471068421000430},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Sanchez-OrdazGP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2109-04631,
author = {Bishoksan Kafle and
John P. Gallagher and
Manuel V. Hermenegildo and
Maximiliano Klemen and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Jos{\'{e}} F. Morales},
editor = {Hossein Hojjat and
Bishoksan Kafle},
title = {Regular Path Clauses and Their Application in Solving Loops},
booktitle = {Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis,
HCVS@ETAPS 2021, Virtual, 28th March 2021},
series = {{EPTCS}},
volume = {344},
pages = {22--35},
year = {2021},
url = {https://doi.org/10.4204/EPTCS.344.3},
doi = {10.4204/EPTCS.344.3},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-04631.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-07045,
author = {Miguel A. Sanchez{-}Ordaz and
Isabel Garcia{-}Contreras and
Victor Perez{-}Carrasco and
Jos{\'{e}} F. Morales and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo},
title = {VeriFly: On-the-fly Assertion Checking via Incrementality},
journal = {CoRR},
volume = {abs/2106.07045},
year = {2021},
url = {https://arxiv.org/abs/2106.07045},
eprinttype = {arXiv},
eprint = {2106.07045},
timestamp = {Thu, 17 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-07045.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/HermenegildoLPP20,
author = {Manuel V. Hermenegildo and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Alberto Pettorossi and
Maurizio Proietti},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {177},
number = {3-4},
year = {2020},
url = {https://doi.org/10.3233/FI-2020-1987},
doi = {10.3233/FI-2020-1987},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/HermenegildoLPP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/CassoM0H20,
author = {Ignacio Casso and
Jos{\'{e}} F. Morales and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo},
editor = {Maribel Fern{\'{a}}ndez},
title = {Testing Your (Static Analysis) Truths},
booktitle = {Logic-Based Program Synthesis and Transformation - 30th International
Symposium, {LOPSTR} 2020, Bologna, Italy, September 7-9, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12561},
pages = {271--292},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-68446-4\_14},
doi = {10.1007/978-3-030-68446-4\_14},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/CassoM0H20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/PerezKLMH20,
author = {Victor Perez{-}Carrasco and
Maximiliano Klemen and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Jos{\'{e}} Francisco Morales and
Manuel V. Hermenegildo},
editor = {David Pichardie and
Mihaela Sighireanu},
title = {Cost Analysis of Smart Contracts Via Parametric Resource Analysis},
booktitle = {Static Analysis - 27th International Symposium, {SAS} 2020, Virtual
Event, November 18-20, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12389},
pages = {7--31},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-65474-0\_2},
doi = {10.1007/978-3-030-65474-0\_2},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/PerezKLMH20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-2008-02931,
author = {John P. Gallagher and
Manuel V. Hermenegildo and
Bishoksan Kafle and
Maximiliano Klemen and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Jos{\'{e}} F. Morales},
editor = {Laurent Fribourg and
Matthias Heizmann},
title = {From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation},
booktitle = {Proceedings 8th International Workshop on Verification and Program
Transformation and 7th Workshop on Horn Clauses for Verification and
Synthesis, VPT/HCVS@ETAPS 2020, Dublin, Ireland, 25-26th April 2020},
series = {{EPTCS}},
volume = {320},
pages = {50--64},
year = {2020},
url = {https://doi.org/10.4204/EPTCS.320.4},
doi = {10.4204/EPTCS.320.4},
timestamp = {Mon, 26 Apr 2021 11:43:53 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2008-02931.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mvl/BankovicLL19,
author = {Zorana Bankovic and
Umer Liqat and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
title = {A General Methodology for Energy-efficient Scheduling in Multicore
Environments Based on Evolutionary Algorithms},
journal = {J. Multiple Valued Log. Soft Comput.},
volume = {32},
number = {3-4},
pages = {313--341},
year = {2019},
url = {https://www.oldcitypublishing.com/journals/mvlsc-home/mvlsc-issue-contents/mvlsc-volume-32-number-3-4-2019/mvlsc-32-3-4-p-313-341/},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mvl/BankovicLL19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Klemen0GMH19,
author = {Maximiliano Klemen and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
John P. Gallagher and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
editor = {Maurizio Gabbrielli},
title = {A General Framework for Static Cost Analysis of Parallel Logic Programs},
booktitle = {Logic-Based Program Synthesis and Transformation - 29th International
Symposium, {LOPSTR} 2019, Porto, Portugal, October 8-10, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12042},
pages = {19--35},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-45260-5\_2},
doi = {10.1007/978-3-030-45260-5\_2},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Klemen0GMH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/CassoM0GH19,
author = {Ignacio Casso and
Jos{\'{e}} F. Morales and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Roberto Giacobazzi and
Manuel V. Hermenegildo},
editor = {Maurizio Gabbrielli},
title = {Computing Abstract Distances in Logic Programs},
booktitle = {Logic-Based Program Synthesis and Transformation - 29th International
Symposium, {LOPSTR} 2019, Porto, Portugal, October 8-10, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12042},
pages = {57--72},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-45260-5\_4},
doi = {10.1007/978-3-030-45260-5\_4},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/CassoM0GH19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/CassoM0H19,
author = {Ignacio Casso and
Jos{\'{e}} F. Morales and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo},
editor = {Maurizio Gabbrielli},
title = {An Integrated Approach to Assertion-Based Random Testing in Prolog},
booktitle = {Logic-Based Program Synthesis and Transformation - 29th International
Symposium, {LOPSTR} 2019, Porto, Portugal, October 8-10, 2019, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12042},
pages = {159--176},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-45260-5\_10},
doi = {10.1007/978-3-030-45260-5\_10},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/CassoM0H19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-13263,
author = {Ignacio Casso and
Jos{\'{e}} F. Morales and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo},
title = {Computing Abstract Distances in Logic Programs},
journal = {CoRR},
volume = {abs/1907.13263},
year = {2019},
url = {http://arxiv.org/abs/1907.13263},
eprinttype = {arXiv},
eprint = {1907.13263},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-13263.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-13272,
author = {Maximiliano Klemen and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
John P. Gallagher and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
title = {Towards a General Framework for Static Cost Analysis of Parallel Logic
Programs},
journal = {CoRR},
volume = {abs/1907.13272},
year = {2019},
url = {http://arxiv.org/abs/1907.13272},
eprinttype = {arXiv},
eprint = {1907.13272},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-13272.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Lopez-GarciaDKL18,
author = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Luthfi Darmawan and
Maximiliano Klemen and
Umer Liqat and
Francisco Bueno and
Manuel V. Hermenegildo},
title = {Interval-based resource usage verification by translation into Horn
clauses and an application to energy consumption},
journal = {Theory Pract. Log. Program.},
volume = {18},
number = {2},
pages = {167--223},
year = {2018},
url = {https://doi.org/10.1017/S1471068418000042},
doi = {10.1017/S1471068418000042},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/Lopez-GarciaDKL18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/KlemenS0MH18,
author = {Maximiliano Klemen and
Nataliia Stulova and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
editor = {Alessandro Dal Pal{\`{u}} and
Paul Tarau and
Neda Saeedloei and
Paul Fodor},
title = {Towards Static Performance Guarantees for Programs with Run-Time Checks},
booktitle = {Technical Communications of the 34th International Conference on Logic
Programming, {ICLP} 2018, July 14-17, 2018, Oxford, United Kingdom},
series = {OASIcs},
volume = {64},
pages = {10:1--10:2},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/OASIcs.ICLP.2018.10},
doi = {10.4230/OASICS.ICLP.2018.10},
timestamp = {Tue, 15 Feb 2022 09:40:05 +0100},
biburl = {https://dblp.org/rec/conf/iclp/KlemenS0MH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/KlemenS0MH18,
author = {Maximiliano Klemen and
Nataliia Stulova and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
editor = {David Sabel and
Peter Thiemann},
title = {Static Performance Guarantees for Programs with Runtime Checks},
booktitle = {Proceedings of the 20th International Symposium on Principles and
Practice of Declarative Programming, {PPDP} 2018, Frankfurt am Main,
Germany, September 03-05, 2018},
pages = {13:1--13:13},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3236950.3236970},
doi = {10.1145/3236950.3236970},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/KlemenS0MH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-04451,
author = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Luthfi Darmawan and
Maximiliano Klemen and
Umer Liqat and
Francisco Bueno and
Manuel V. Hermenegildo},
title = {Interval-based Resource Usage Verification by Translation into Horn
Clauses and an Application to Energy Consumption},
journal = {CoRR},
volume = {abs/1803.04451},
year = {2018},
url = {http://arxiv.org/abs/1803.04451},
eprinttype = {arXiv},
eprint = {1803.04451},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-04451.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-02380,
author = {Maximiliano Klemen and
Nataliia Stulova and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
title = {An Approach to Static Performance Guarantees for Programs with Run-time
Checks},
journal = {CoRR},
volume = {abs/1804.02380},
year = {2018},
url = {http://arxiv.org/abs/1804.02380},
eprinttype = {arXiv},
eprint = {1804.02380},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-02380.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/LiqatBLH17,
author = {Umer Liqat and
Zorana Bankovic and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo},
title = {An evolutionary scheduling approach for trading-off accuracy vs. verifiable
energy in multicore processors},
journal = {Log. J. {IGPL}},
volume = {25},
number = {6},
pages = {1006--1019},
year = {2017},
url = {https://doi.org/10.1093/jigpal/jzx048},
doi = {10.1093/JIGPAL/JZX048},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/igpl/LiqatBLH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LiqatBLH17,
author = {Umer Liqat and
Zorana Bankovic and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo},
editor = {Fabio Fioravanti and
John P. Gallagher},
title = {Inferring Energy Bounds via Static Program Analysis and Evolutionary
Modeling of Basic Blocks},
booktitle = {Logic-Based Program Synthesis and Transformation - 27th International
Symposium, {LOPSTR} 2017, Namur, Belgium, October 10-12, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10855},
pages = {54--72},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-94460-9\_4},
doi = {10.1007/978-3-319-94460-9\_4},
timestamp = {Wed, 25 Sep 2019 18:04:28 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/LiqatBLH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2016,
editor = {Manuel V. Hermenegildo and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
title = {Logic-Based Program Synthesis and Transformation - 26th International
Symposium, {LOPSTR} 2016, Edinburgh, UK, September 6-8, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10184},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-63139-4},
doi = {10.1007/978-3-319-63139-4},
isbn = {978-3-319-63138-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/EderGLMBGHHKKKK16,
author = {Kerstin Eder and
John P. Gallagher and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Henk L. Muller and
Zorana Bankovic and
Kyriakos Georgiou and
R{\'{e}}my Haemmerl{\'{e}} and
Manuel V. Hermenegildo and
Bishoksan Kafle and
Steve Kerrison and
Maja H. Kirkeby and
Maximiliano Klemen and
Xueliang Li and
Umer Liqat and
Jeremy Morse and
Morten Rhiger and
Mads Rosendahl},
title = {{ENTRA:} Whole-systems energy transparency},
journal = {Microprocess. Microsystems},
volume = {47},
pages = {278--286},
year = {2016},
url = {https://doi.org/10.1016/j.micpro.2016.07.003},
doi = {10.1016/J.MICPRO.2016.07.003},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mam/EderGLMBGHHKKKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Lopez-GarciaKLH16,
author = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Maximiliano Klemen and
Umer Liqat and
Manuel V. Hermenegildo},
title = {A general framework for static profiling of parametric resource usage},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {5-6},
pages = {849--865},
year = {2016},
url = {https://doi.org/10.1017/S1471068416000442},
doi = {10.1017/S1471068416000442},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/Lopez-GarciaKLH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/HaemmerleLLKGH16,
author = {R{\'{e}}my Haemmerl{\'{e}} and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Umer Liqat and
Maximiliano Klemen and
John P. Gallagher and
Manuel V. Hermenegildo},
editor = {Oleg Kiselyov and
Andy King},
title = {A Transformational Approach to Parametric Accumulated-Cost Static
Profiling},
booktitle = {Functional and Logic Programming - 13th International Symposium, {FLOPS}
2016, Kochi, Japan, March 4-6, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9613},
pages = {163--180},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-29604-3\_11},
doi = {10.1007/978-3-319-29604-3\_11},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/HaemmerleLLKGH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiqatBLH16,
author = {Umer Liqat and
Zorana Bankovic and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo},
title = {Inferring Energy Bounds Statically by Evolutionary Analysis of Basic
Blocks},
journal = {CoRR},
volume = {abs/1601.02800},
year = {2016},
url = {http://arxiv.org/abs/1601.02800},
eprinttype = {arXiv},
eprint = {1601.02800},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LiqatBLH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/EderGLMBGHHKKKK16,
author = {Kerstin Eder and
John P. Gallagher and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Henk L. Muller and
Zorana Bankovic and
Kyriakos Georgiou and
R{\'{e}}my Haemmerl{\'{e}} and
Manuel V. Hermenegildo and
Bishoksan Kafle and
Steve Kerrison and
Maja H. Kirkeby and
Maximiliano Klemen and
Xueliang Li and
Umer Liqat and
Jeremy Morse and
Morten Rhiger and
Mads Rosendahl},
title = {{ENTRA:} Whole-Systems Energy Transparency},
journal = {CoRR},
volume = {abs/1606.04074},
year = {2016},
url = {http://arxiv.org/abs/1606.04074},
eprinttype = {arXiv},
eprint = {1606.04074},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/EderGLMBGHHKKKK16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Hermenegildo016,
author = {Manuel V. Hermenegildo and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
title = {Pre-proceedings of the 26th International Symposium on Logic-Based
Program Synthesis and Transformation {(LOPSTR} 2016)},
journal = {CoRR},
volume = {abs/1608.02534},
year = {2016},
url = {http://arxiv.org/abs/1608.02534},
eprinttype = {arXiv},
eprint = {1608.02534},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Hermenegildo016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/0001KLH16,
author = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Maximiliano Klemen and
Umer Liqat and
Manuel V. Hermenegildo},
title = {A General Framework for Static Profiling of Parametric Resource Usage},
journal = {CoRR},
volume = {abs/1608.02780},
year = {2016},
url = {http://arxiv.org/abs/1608.02780},
eprinttype = {arXiv},
eprint = {1608.02780},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/0001KLH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijon/BankovicL15,
author = {Zorana Bankovic and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
title = {Stochastic vs. deterministic evolutionary algorithm-based allocation
and scheduling for {XMOS} chips},
journal = {Neurocomputing},
volume = {150},
pages = {82--89},
year = {2015},
url = {https://doi.org/10.1016/j.neucom.2014.06.077},
doi = {10.1016/J.NEUCOM.2014.06.077},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijon/BankovicL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fopara/LiqatGK0GHE15,
author = {Umer Liqat and
Kyriakos Georgiou and
Steve Kerrison and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
John P. Gallagher and
Manuel V. Hermenegildo and
Kerstin Eder},
editor = {Marko C. J. D. van Eekelen and
Ugo Dal Lago},
title = {Inferring Parametric Energy Consumption Functions at Different Software
Levels: {ISA} vs. {LLVM} {IR}},
booktitle = {Foundational and Practical Aspects of Resource Analysis - 4th International
Workshop, {FOPARA} 2015, London, UK, April 11, 2015, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {9964},
pages = {81--100},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-46559-3\_5},
doi = {10.1007/978-3-319-46559-3\_5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/LiqatGK0GHE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/BankovicL15,
author = {Zorana Bankovic and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
editor = {Sara Silva and
Anna Isabel Esparcia{-}Alc{\'{a}}zar},
title = {Energy Efficient Allocation and Scheduling for DVFS-enabled Multicore
Environments using a Multiobjective Evolutionary Algorithm},
booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} 2015, Madrid,
Spain, July 11-15, 2015, Companion Material Proceedings},
pages = {1353--1354},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2739482.2764645},
doi = {10.1145/2739482.2764645},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gecco/BankovicL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hais/BankovicLL15,
author = {Zorana Bankovic and
Umer Liqat and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
editor = {Enrique Onieva and
Igor Santos and
Eneko Osaba and
H{\'{e}}ctor Quinti{\'{a}}n and
Emilio Corchado},
title = {Trading-off Accuracy vs Energy in Multicore Processors via Evolutionary
Algorithms Combining Loop Perforation and Static Analysis-Based Scheduling},
booktitle = {Hybrid Artificial Intelligent Systems - 10th International Conference,
{HAIS} 2015, Bilbao, Spain, June 22-24, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9121},
pages = {690--701},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19644-2\_57},
doi = {10.1007/978-3-319-19644-2\_57},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hais/BankovicLL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip12/BankovicLL15,
author = {Zorana Bankovic and
Umer Liqat and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
editor = {Richard Chbeir and
Yannis Manolopoulos and
Ilias Maglogiannis and
Reda Alhajj},
title = {A Practical Approach for Energy Efficient Scheduling in Multicore
Environments by Combining Evolutionary and {YDS} Algorithms with Faster
Energy Estimation},
booktitle = {Artificial Intelligence Applications and Innovations - 11th {IFIP}
{WG} 12.5 International Conference, {AIAI} 2015, Bayonne, France,
September 14-17, 2015, Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {458},
pages = {478--493},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23868-5\_35},
doi = {10.1007/978-3-319-23868-5\_35},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip12/BankovicLL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/softcomp/BankovicL15,
author = {Zorana Bankovic and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
editor = {{\'{A}}lvaro Herrero and
Javier Sedano and
Bruno Baruque and
H{\'{e}}ctor Quinti{\'{a}}n and
Emilio Corchado},
title = {Improved Energy-Aware Stochastic Scheduling Based on Evolutionary
Algorithms via Copula-Based Modeling of Task Dependences},
booktitle = {10th International Conference on Soft Computing Models in Industrial
and Environmental Applications, {SOCO} 2015, Burgos, Spain, June 2015},
series = {Advances in Intelligent Systems and Computing},
volume = {368},
pages = {153--163},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-19719-7\_14},
doi = {10.1007/978-3-319-19719-7\_14},
timestamp = {Fri, 12 Aug 2022 13:44:55 +0200},
biburl = {https://dblp.org/rec/conf/softcomp/BankovicL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CorberaRANVGDTNDGSOLHKLHVSCC15,
author = {Francisco Corbera and
Andr{\'{e}}s Rodr{\'{\i}}guez and
Rafael Asenjo and
Angeles G. Navarro and
Antonio Vilches and
Mar{\'{\i}}a Jes{\'{u}}s Garzar{\'{a}}n and
Ismat Chaib Draa and
Jamel Tayeb and
Sma{\"{\i}}l Niar and
Mikael Desertot and
Daniel Gregorek and
Robert Schmidt and
Alberto Garc{\'{\i}}a Ortiz and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
R{\'{e}}my Haemmerl{\'{e}} and
Maximiliano Klemen and
Umer Liqat and
Manuel V. Hermenegildo and
Radim Vavr{\'{\i}}k and
Albert Sa{\`{a}}{-}Garriga and
David Castells{-}Rufas and
Jordi Carrabina},
title = {Proceedings of the Workshop on High Performance Energy Efficient Embedded
Systems {(HIP3ES)} 2015},
journal = {CoRR},
volume = {abs/1501.03064},
year = {2015},
url = {http://arxiv.org/abs/1501.03064},
eprinttype = {arXiv},
eprint = {1501.03064},
timestamp = {Thu, 16 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/CorberaRANVGDTNDGSOLHKLHVSCC15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LiqatGKLGHE15,
author = {Umer Liqat and
Kyriakos Georgiou and
Steve Kerrison and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
John P. Gallagher and
Manuel V. Hermenegildo and
Kerstin Eder},
title = {Inferring Parametric Energy Consumption Functions at Different Software
Levels: {ISA} vs. {LLVM} {IR}},
journal = {CoRR},
volume = {abs/1511.01413},
year = {2015},
url = {http://arxiv.org/abs/1511.01413},
eprinttype = {arXiv},
eprint = {1511.01413},
timestamp = {Sat, 23 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/LiqatGKLGHE15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Lopez-GarciaHKL15,
author = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
R{\'{e}}my Haemmerl{\'{e}} and
Maximiliano Klemen and
Umer Liqat and
Manuel V. Hermenegildo},
title = {Towards Energy Consumption Verification via Static Analysis},
journal = {CoRR},
volume = {abs/1512.09369},
year = {2015},
url = {http://arxiv.org/abs/1512.09369},
eprinttype = {arXiv},
eprint = {1512.09369},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Lopez-GarciaHKL15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SerranoLH14,
author = {Alejandro Serrano and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo},
title = {Resource Usage Analysis of Logic Programs via Abstract Interpretation
Using Sized Types},
journal = {Theory Pract. Log. Program.},
volume = {14},
number = {4-5},
pages = {739--754},
year = {2014},
url = {https://doi.org/10.1017/S147106841400057X},
doi = {10.1017/S147106841400057X},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/SerranoLH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SerranoLH14,
author = {Alejandro Serrano and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo},
title = {Resource Usage Analysis of Logic Programs via Abstract Interpretation
Using Sized Types},
journal = {CoRR},
volume = {abs/1405.4256},
year = {2014},
url = {http://arxiv.org/abs/1405.4256},
eprinttype = {arXiv},
eprint = {1405.4256},
timestamp = {Tue, 19 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/SerranoLH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SerranoLBH13,
author = {Alejandro Serrano and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Francisco Bueno and
Manuel V. Hermenegildo},
title = {Sized Type Analysis for Logic Programs},
journal = {Theory Pract. Log. Program.},
volume = {13},
number = {4-5-Online-Supplement},
year = {2013},
url = {http://static.cambridge.org/resource/id/urn:cambridge.org:id:binary:20161018085635834-0697:S1471068413000112:tlp2013011.pdf},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SerranoLBH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hais/BankovicL13,
author = {Zorana Bankovic and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
editor = {Jeng{-}Shyang Pan and
Marios M. Polycarpou and
Michal Wozniak and
Andr{\'{e}} C. P. L. F. de Carvalho and
H{\'{e}}ctor Quinti{\'{a}}n{-}Pardo and
Emilio Corchado},
title = {Genetic Algorithm-Based Allocation and Scheduling for Voltage and
Frequency Scalable {XMOS} Chips},
booktitle = {Hybrid Artificial Intelligent Systems - 8th International Conference,
{HAIS} 2013, Salamanca, Spain, September 11-13, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8073},
pages = {401--410},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-40846-5\_40},
doi = {10.1007/978-3-642-40846-5\_40},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hais/BankovicL13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/LiqatKSGLGHE13,
author = {Umer Liqat and
Steve Kerrison and
Alejandro Serrano and
Kyriakos Georgiou and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Neville Grech and
Manuel V. Hermenegildo and
Kerstin Eder},
editor = {Gopal Gupta and
Ricardo Pe{\~{n}}a},
title = {Energy Consumption Analysis of Programs Based on {XMOS} ISA-Level
Models},
booktitle = {Logic-Based Program Synthesis and Transformation, 23rd International
Symposium, {LOPSTR} 2013, Madrid, Spain, September 18-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8901},
pages = {72--90},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-14125-1\_5},
doi = {10.1007/978-3-319-14125-1\_5},
timestamp = {Wed, 26 Oct 2022 22:55:46 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/LiqatKSGLGHE13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SerranoLH13,
author = {Alejandro Serrano and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo},
title = {Towards an Abstract Domain for Resource Analysis of Logic Programs
Using Sized Types},
journal = {CoRR},
volume = {abs/1308.3940},
year = {2013},
url = {http://arxiv.org/abs/1308.3940},
eprinttype = {arXiv},
eprint = {1308.3940},
timestamp = {Tue, 19 Feb 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/SerranoLH13.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}
}
@inproceedings{DBLP:conf/fopara/Lopez-GarciaDBH11,
author = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Luthfi Darmawan and
Francisco Bueno and
Manuel V. Hermenegildo},
editor = {Ricardo Pe{\~{n}}a and
Marko C. J. D. van Eekelen and
Olha Shkaravska},
title = {Interval-Based Resource Usage Verification: Formalization and Prototype},
booktitle = {Foundational and Practical Aspects of Resource Analysis - Second International
Workshop, {FOPARA} 2011, Madrid, Spain, May 19, 2011, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7177},
pages = {54--71},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32495-6\_4},
doi = {10.1007/978-3-642-32495-6\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fopara/Lopez-GarciaDBH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/MeraTLH11,
author = {Edison Mera and
Teresa Trigo and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo},
editor = {Ricardo Rocha and
John Launchbury},
title = {Profiling for Run-Time Checking of Computational Properties and Performance
Debugging in Logic Programs},
booktitle = {Practical Aspects of Declarative Languages - 13th International Symposium,
{PADL} 2011, Austin, TX, USA, January 24-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6539},
pages = {38--53},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18378-2\_6},
doi = {10.1007/978-3-642-18378-2\_6},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/MeraTLH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/HaemmerleLH11,
author = {R{\'{e}}my Haemmerl{\'{e}} and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo},
editor = {Peter Schneider{-}Kamp and
Michael Hanus},
title = {{CLP} projection for constraint handling rules},
booktitle = {Proceedings of the 13th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 20-22, 2011,
Odense, Denmark},
pages = {137--148},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2003476.2003496},
doi = {10.1145/2003476.2003496},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/HaemmerleLH11.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/ngc/Lopez-GarciaBH10,
author = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Francisco Bueno and
Manuel V. Hermenegildo},
title = {Automatic Inference of Determinacy and Mutual Exclusion for Logic
Programs Using Mode and Type Analyses},
journal = {New Gener. Comput.},
volume = {28},
number = {2},
pages = {177--206},
year = {2010},
url = {https://doi.org/10.1007/s00354-008-0085-1},
doi = {10.1007/S00354-008-0085-1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/Lopez-GarciaBH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Lopez-GarciaDB10,
author = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Luthfi Darmawan and
Francisco Bueno},
editor = {Manuel V. Hermenegildo and
Torsten Schaub},
title = {A Framework for Verification and Debugging of Resource Usage Properties:
Resource Usage Verification},
booktitle = {Technical Communications of the 26th International Conference on Logic
Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
series = {LIPIcs},
volume = {7},
pages = {104--113},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2010.104},
doi = {10.4230/LIPICS.ICLP.2010.104},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Lopez-GarciaDB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MeraLH09,
author = {Edison Mera and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo},
editor = {Patricia M. Hill and
David Scott Warren},
title = {Integrating Software Testing and Run-Time Checking in an Assertion
Verification Framework},
booktitle = {Logic Programming, 25th International Conference, {ICLP} 2009, Pasadena,
CA, USA, July 14-17, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5649},
pages = {281--295},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02846-5\_25},
doi = {10.1007/978-3-642-02846-5\_25},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/MeraLH09.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/ppdp/MeraLCH08,
author = {Edison Mera and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Sergio Antoy and
Elvira Albert},
title = {Towards execution time estimation in abstract machine-based languages},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {174--184},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389471},
doi = {10.1145/1389449.1389471},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/MeraLCH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/NavasMLH07,
author = {Jorge A. Navas and
Edison Mera and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo},
editor = {Ver{\'{o}}nica Dahl and
Ilkka Niemel{\"{a}}},
title = {User-Definable Resource Bounds Analysis for Logic Programs},
booktitle = {Logic Programming, 23rd International Conference, {ICLP} 2007, Porto,
Portugal, September 8-13, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4670},
pages = {348--363},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74610-2\_24},
doi = {10.1007/978-3-540-74610-2\_24},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/NavasMLH07.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}
}
@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}
}
@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}
}
@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/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}
}
@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/flops/BuenoLH04,
author = {Francisco Bueno and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo},
editor = {Yukiyoshi Kameyama and
Peter J. Stuckey},
title = {Multivariant Non-failure Analysis via Standard Abstract Interpretation},
booktitle = {Functional and Logic Programming, 7th International Symposium, {FLOPS}
2004, Nara, Japan, April 7-9, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2998},
pages = {100--116},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24754-8\_9},
doi = {10.1007/978-3-540-24754-8\_9},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/BuenoLH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Lopez-GarciaBH04,
author = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Francisco Bueno and
Manuel V. Hermenegildo},
editor = {Sandro Etalle},
title = {Determinacy Analysis for Logic Programs Using Mode and Type Information},
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 = {19--35},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/11506676\_2},
doi = {10.1007/11506676\_2},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Lopez-GarciaBH04.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}
}
@phdthesis{DBLP:phd/es/Garcia99a,
author = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
title = {Control de granularidad en la ejecuci{\'{o}}n paralela de programas
l{\'{o}}gicas mediante t{\'{e}}cnicas de an{\'{a}}lisis
y transformaci{\'{o}}n},
school = {Technical University of Madrid, Spain},
year = {1999},
url = {https://oa.upm.es/198/},
timestamp = {Thu, 16 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/es/Garcia99a.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/iclp/DebrayGH97,
author = {Saumya K. Debray and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo},
editor = {Lee Naish},
title = {Non-Failure Analysis for Logic Programs},
booktitle = {Logic Programming, Proceedings of the Fourteenth International Conference
on Logic Programming, Leuven, Belgium, July 8-11, 1997},
pages = {48--62},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Thu, 07 Apr 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/DebrayGH97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/DebrayLHL97,
author = {Saumya K. Debray and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo and
Nai{-}Wei Lin},
editor = {Jan Maluszynski},
title = {Lower Bound Cost Estimation for Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1997 International Symposium,
Port Jefferson, Long Island, NY, USA, October 13-16, 1997},
pages = {291--305},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Thu, 07 Apr 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/DebrayLHL97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/LopezHD96,
author = {Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo and
Saumya K. Debray},
title = {A Methodology for Granularity-Based Control of Parallelism in Logic
Programs},
journal = {J. Symb. Comput.},
volume = {21},
number = {4},
pages = {715--734},
year = {1996},
url = {https://doi.org/10.1006/jsco.1996.0038},
doi = {10.1006/JSCO.1996.0038},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/LopezHD96.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/iclp/HermenegildoL95,
author = {Manuel V. Hermenegildo and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a},
editor = {Leon Sterling},
title = {Efficient Term Size Computation for Granularity Control},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference
on Logic Programming, Tokyo, Japan, June 13-16, 1995},
pages = {647--661},
publisher = {{MIT} Press},
year = {1995},
timestamp = {Thu, 07 Apr 2016 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/HermenegildoL95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DebrayGHL94,
author = {Saumya K. Debray and
Pedro L{\'{o}}pez{-}Garc{\'{\i}}a and
Manuel V. Hermenegildo and
Nai{-}Wei Lin},
editor = {Baudouin Le Charlier},
title = {Estimating the Computational Cost of Logic Programs},
booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94,
Namur, Belgium, September 28-30, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {864},
pages = {255--265},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58485-4\_45},
doi = {10.1007/3-540-58485-4\_45},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/DebrayGHL94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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 23:27 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:
