Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Manuel V. Hermenegildo
@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 = {Wed, 18 Oct 2023 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-2308-15896,
author = {Daniela Ferreiro and
Jos{\'{e}} F. Morales and
Salvador Abreu and
Manuel V. Hermenegildo},
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 = {Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog
Playground, and an Application to Verification Tutorials},
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 = {324--329},
year = {2023},
url = {https://doi.org/10.4204/EPTCS.385.33},
doi = {10.4204/EPTCS.385.33},
timestamp = {Wed, 25 Oct 2023 16:09:20 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-15896.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, 23 Jan 2024 13:25:47 +0100},
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 = {Wed, 21 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/Hermenegildo0023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/0001AFH23,
author = {Jos{\'{e}} F. Morales and
Salvador Abreu and
Daniela Ferreiro and
Manuel V. Hermenegildo},
editor = {David Scott Warren and
Ver{\'{o}}nica Dahl and
Thomas Eiter and
Manuel V. Hermenegildo and
Robert A. Kowalski and
Francesca Rossi},
title = {Teaching Prolog with Active Logic Documents},
booktitle = {Prolog: The Next 50 Years},
series = {Lecture Notes in Computer Science},
volume = {13900},
pages = {171--183},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35254-6\_14},
doi = {10.1007/978-3-031-35254-6\_14},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/lncs/0001AFH23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/2023,
editor = {Manuel V. Hermenegildo and
Jos{\'{e}} F. Morales},
title = {Static Analysis - 30th International Symposium, {SAS} 2023, Cascais,
Portugal, October 22-24, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14284},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-44245-2},
doi = {10.1007/978-3-031-44245-2},
isbn = {978-3-031-44244-5},
timestamp = {Wed, 08 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/2023.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/lncs/13900,
editor = {David Scott Warren and
Ver{\'{o}}nica Dahl and
Thomas Eiter and
Manuel V. Hermenegildo and
Robert A. Kowalski and
Francesca Rossi},
title = {Prolog: The Next 50 Years},
series = {Lecture Notes in Computer Science},
volume = {13900},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-35254-6},
doi = {10.1007/978-3-031-35254-6},
isbn = {978-3-031-35253-9},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/series/lncs/13900.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/KornerLBCDHMWDA22,
author = {Philipp K{\"{o}}rner and
Michael Leuschel and
Jo{\~{a}}o Barbosa and
V{\'{\i}}tor Santos Costa and
Ver{\'{o}}nica Dahl and
Manuel V. Hermenegildo and
Jos{\'{e}} F. Morales and
Jan Wielemaker and
Daniel Diaz and
Salvador Abreu},
title = {Fifty Years of Prolog and Beyond},
journal = {Theory Pract. Log. Program.},
volume = {22},
number = {6},
pages = {776--858},
year = {2022},
url = {https://doi.org/10.1017/S1471068422000102},
doi = {10.1017/S1471068422000102},
timestamp = {Fri, 10 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/KornerLBCDHMWDA22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/DovierFGHPR22,
author = {Agostino Dovier and
Andrea Formisano and
Gopal Gupta and
Manuel V. Hermenegildo and
Enrico Pontelli and
Ricardo Rocha},
title = {Parallel Logic Programming: {A} Sequel},
journal = {Theory Pract. Log. Program.},
volume = {22},
number = {6},
pages = {905--973},
year = {2022},
url = {https://doi.org/10.1017/S1471068422000059},
doi = {10.1017/S1471068422000059},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/DovierFGHPR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/AngelisFGHPP22,
author = {Emanuele {De Angelis} and
Fabio Fioravanti and
John P. Gallagher and
Manuel V. Hermenegildo and
Alberto Pettorossi and
Maurizio Proietti},
title = {Analysis and Transformation of Constrained Horn Clauses for Program
Verification},
journal = {Theory Pract. Log. Program.},
volume = {22},
number = {6},
pages = {974--1042},
year = {2022},
url = {https://doi.org/10.1017/S1471068421000211},
doi = {10.1017/S1471068421000211},
timestamp = {Sun, 13 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/AngelisFGHPP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Garcia-Pradales22,
author = {Guillermo Garc{\'{\i}}a{-}Pradales and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo and
Joaqu{\'{\i}}n Arias and
Manuel Carro},
editor = {Joaqu{\'{\i}}n Arias and
Roberta Calegari and
Luke Dickens and
Wolfgang Faber and
Jorge Fandinno and
Gopal Gupta and
Markus Hecher and
Daniela Inclezan and
Emily LeBlanc and
Michael Morak and
Elmer Salazar and
Jessica Zangari},
title = {An s(CASP) In-Browser Playground based on Ciao Prolog},
booktitle = {Proceedings of the International Conference on Logic Programming 2022
Workshops co-located with the 38th International Conference on Logic
Programming {(ICLP} 2022), Haifa, Israel, July 31st - August 1st,
2022},
series = {{CEUR} Workshop Proceedings},
volume = {3193},
publisher = {CEUR-WS.org},
year = {2022},
url = {https://ceur-ws.org/Vol-3193/short3GDE.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:26 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Garcia-Pradales22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-10816,
author = {Philipp K{\"{o}}rner and
Michael Leuschel and
Jo{\~{a}}o Barbosa and
V{\'{\i}}tor Santos Costa and
Ver{\'{o}}nica Dahl and
Manuel V. Hermenegildo and
Jos{\'{e}} F. Morales and
Jan Wielemaker and
Daniel Diaz and
Salvador Abreu and
Giovanni Ciatto},
title = {50 Years of Prolog and Beyond},
journal = {CoRR},
volume = {abs/2201.10816},
year = {2022},
url = {https://arxiv.org/abs/2201.10816},
eprinttype = {arXiv},
eprint = {2201.10816},
timestamp = {Fri, 10 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-10816.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Garcia-Contreras21,
author = {Isabel Garcia{-}Contreras and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
title = {Incremental and Modular Context-sensitive Analysis},
journal = {Theory Pract. Log. Program.},
volume = {21},
number = {2},
pages = {196--243},
year = {2021},
url = {https://doi.org/10.1017/S1471068420000496},
doi = {10.1017/S1471068420000496},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/Garcia-Contreras21.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 = {Mon, 05 Feb 2024 00:00:00 +0100},
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/corr/abs-2108-00739,
author = {Emanuele {De Angelis} and
Fabio Fioravanti and
John P. Gallagher and
Manuel V. Hermenegildo and
Alberto Pettorossi and
Maurizio Proietti},
title = {Analysis and Transformation of Constrained Horn Clauses for Program
Verification},
journal = {CoRR},
volume = {abs/2108.00739},
year = {2021},
url = {https://arxiv.org/abs/2108.00739},
eprinttype = {arXiv},
eprint = {2108.00739},
timestamp = {Thu, 05 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-00739.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-11218,
author = {Agostino Dovier and
Andrea Formisano and
Gopal Gupta and
Manuel V. Hermenegildo and
Enrico Pontelli and
Ricardo Rocha},
title = {Parallel Logic Programming: {A} Sequel},
journal = {CoRR},
volume = {abs/2111.11218},
year = {2021},
url = {https://arxiv.org/abs/2111.11218},
eprinttype = {arXiv},
eprint = {2111.11218},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-11218.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 = {Mon, 05 Feb 2024 00:00:00 +0100},
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}
}
@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/Garcia-Contreras19,
author = {Isabel Garcia{-}Contreras and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
editor = {Maurizio Gabbrielli},
title = {Incremental Analysis of Logic Programs with Assertions and Open Predicates},
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 = {36--56},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-45260-5\_3},
doi = {10.1007/978-3-030-45260-5\_3},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Garcia-Contreras19.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}
}
@proceedings{DBLP:conf/pepm/2019,
editor = {Manuel V. Hermenegildo and
Atsushi Igarashi},
title = {Proceedings of the 2019 {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January
14-15, 2019},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3294032},
doi = {10.1145/3294032},
isbn = {978-1-4503-6226-9},
timestamp = {Sun, 25 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/2019.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/scp/StulovaMH18,
author = {Nataliia Stulova and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
title = {Some trade-offs in reducing the overhead of assertion run-time checks
via static analysis},
journal = {Sci. Comput. Program.},
volume = {155},
pages = {3--26},
year = {2018},
url = {https://doi.org/10.1016/j.scico.2017.12.006},
doi = {10.1016/J.SCICO.2017.12.006},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/StulovaMH18.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/Garcia-Contreras18,
author = {Isabel Garcia{-}Contreras 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 Incremental and Modular Context-Sensitive Analysis},
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 = {7:1--7:2},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/OASIcs.ICLP.2018.7},
doi = {10.4230/OASICS.ICLP.2018.7},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Garcia-Contreras18.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 = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/KlemenS0MH18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Garcia-Contreras18,
author = {Isabel Garcia{-}Contreras and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
editor = {Fred Mesnard and
Peter J. Stuckey},
title = {Multivariant Assertion-Based Guidance in Abstract Interpretation},
booktitle = {Logic-Based Program Synthesis and Transformation - 28th International
Symposium, {LOPSTR} 2018, Frankfurt/Main, Germany, September 4-6,
2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11408},
pages = {184--201},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-13838-7\_11},
doi = {10.1007/978-3-030-13838-7\_11},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Garcia-Contreras18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/StulovaMH18,
author = {Nataliia Stulova and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
editor = {Francesco Calimeri and
Kevin W. Hamlen and
Nicola Leone},
title = {Exploiting Term Hiding to Reduce Run-Time Checking Overhead},
booktitle = {Practical Aspects of Declarative Languages - 20th International Symposium,
{PADL} 2018, Los Angeles, CA, USA, January 8-9, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10702},
pages = {99--115},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73305-0\_7},
doi = {10.1007/978-3-319-73305-0\_7},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/StulovaMH18.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-01839,
author = {Isabel Garcia{-}Contreras and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
title = {An Approach to Incremental and Modular Context-sensitive Analysis
of Logic Programs},
journal = {CoRR},
volume = {abs/1804.01839},
year = {2018},
url = {http://arxiv.org/abs/1804.01839},
eprinttype = {arXiv},
eprint = {1804.01839},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-01839.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/corr/abs-1808-05197,
author = {Isabel Garcia{-}Contreras and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
title = {Multivariant Assertion-based Guidance in Abstract Interpretation},
journal = {CoRR},
volume = {abs/1808.05197},
year = {2018},
url = {http://arxiv.org/abs/1808.05197},
eprinttype = {arXiv},
eprint = {1808.05197},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1808-05197.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/iclp/StulovaMH17,
author = {Nataliia Stulova and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
editor = {Ricardo Rocha and
Tran Cao Son and
Christopher Mears and
Neda Saeedloei},
title = {Towards Run-time Checks Simplification via Term Hiding},
booktitle = {Technical Communications of the 33rd International Conference on Logic
Programming, {ICLP} 2017, August 28 to September 1, 2017, Melbourne,
Australia},
series = {OASIcs},
volume = {58},
pages = {9:1--9:3},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/OASIcs.ICLP.2017.9},
doi = {10.4230/OASICS.ICLP.2017.9},
timestamp = {Tue, 15 Feb 2022 09:40:05 +0100},
biburl = {https://dblp.org/rec/conf/iclp/StulovaMH17.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/corr/StulovaMH17,
author = {Nataliia Stulova and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
title = {Term Hiding and its Impact on Run-time Check Simplification},
journal = {CoRR},
volume = {abs/1705.06662},
year = {2017},
url = {http://arxiv.org/abs/1705.06662},
eprinttype = {arXiv},
eprint = {1705.06662},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/StulovaMH17.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/MoralesCH16,
author = {Jos{\'{e}} F. Morales and
Manuel Carro and
Manuel V. Hermenegildo},
title = {Description and Optimization of Abstract Machines in a Dialect of
Prolog},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {1},
pages = {1--58},
year = {2016},
url = {https://doi.org/10.1017/S1471068414000672},
doi = {10.1017/S1471068414000672},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MoralesCH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/Garcia-Contreras16,
author = {Isabel Garcia{-}Contreras and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
title = {Semantic code browsing},
journal = {Theory Pract. Log. Program.},
volume = {16},
number = {5-6},
pages = {721--737},
year = {2016},
url = {https://doi.org/10.1017/S1471068416000417},
doi = {10.1017/S1471068416000417},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/Garcia-Contreras16.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}
}
@inproceedings{DBLP:conf/ppdp/StulovaMH16,
author = {Nataliia Stulova and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
editor = {James Cheney and
Germ{\'{a}}n Vidal},
title = {Reducing the overhead of assertion run-time checks via static analysis},
booktitle = {Proceedings of the 18th International Symposium on Principles and
Practice of Declarative Programming, Edinburgh, United Kingdom, September
5-7, 2016},
pages = {90--103},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2967973.2968597},
doi = {10.1145/2967973.2968597},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/StulovaMH16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/cc/2016,
editor = {Ayal Zaks and
Manuel V. Hermenegildo},
title = {Proceedings of the 25th International Conference on Compiler Construction,
{CC} 2016, Barcelona, Spain, March 12-18, 2016},
publisher = {{ACM}},
year = {2016},
url = {http://dl.acm.org/citation.cfm?id=2892208},
isbn = {978-1-4503-4241-4},
timestamp = {Wed, 09 Mar 2016 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cc/2016.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/Garcia-Contreras16,
author = {Isabel Garcia{-}Contreras and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
title = {Semantic Code Browsing},
journal = {CoRR},
volume = {abs/1608.02565},
year = {2016},
url = {http://arxiv.org/abs/1608.02565},
eprinttype = {arXiv},
eprint = {1608.02565},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Garcia-Contreras16.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/tplp/StulovaMH15,
author = {Nataliia Stulova and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
title = {Practical run-time checking via unobtrusive property caching},
journal = {Theory Pract. Log. Program.},
volume = {15},
number = {4-5},
pages = {726--741},
year = {2015},
url = {https://doi.org/10.1017/S1471068415000344},
doi = {10.1017/S1471068415000344},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/StulovaMH15.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}
}
@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/StulovaMH15,
author = {Nataliia Stulova and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
title = {Practical Run-time Checking via Unobtrusive Property Caching},
journal = {CoRR},
volume = {abs/1507.05986},
year = {2015},
url = {http://arxiv.org/abs/1507.05986},
eprinttype = {arXiv},
eprint = {1507.05986},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/StulovaMH15.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}
}
@inproceedings{DBLP:conf/lopstr/MoralesH14,
author = {Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
editor = {Maurizio Proietti and
Hirohisa Seki},
title = {Pre-indexed Terms for Prolog},
booktitle = {Logic-Based Program Synthesis and Transformation - 24th International
Symposium, {LOPSTR} 2014, Canterbury, UK, September 9-11, 2014. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8981},
pages = {317--331},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-17822-6\_18},
doi = {10.1007/978-3-319-17822-6\_18},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/MoralesH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/StulovaMH14,
author = {Nataliia Stulova and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
editor = {Olaf Chitil and
Andy King and
Olivier Danvy},
title = {Assertion-based Debugging of Higher-Order {(C)LP} Programs},
booktitle = {Proceedings of the 16th International Symposium on Principles and
Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
September 8-10, 2014},
pages = {225--235},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2643135.2643148},
doi = {10.1145/2643135.2643148},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/StulovaMH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/StulovaMH14,
author = {Nataliia Stulova and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
title = {An Approach to Assertion-based Debugging of Higher-Order {(C)LP} Programs},
journal = {CoRR},
volume = {abs/1404.4246},
year = {2014},
url = {http://arxiv.org/abs/1404.4246},
eprinttype = {arXiv},
eprint = {1404.4246},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/StulovaMH14.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/corr/StulovaMH14a,
author = {Nataliia Stulova and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
title = {Towards Assertion-based Debugging of Higher-Order {(C)LP} Programs},
journal = {CoRR},
volume = {abs/1405.7898},
year = {2014},
url = {http://arxiv.org/abs/1405.7898},
eprinttype = {arXiv},
eprint = {1405.7898},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/StulovaMH14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MoralesCH14,
author = {Jos{\'{e}} F. Morales and
Manuel Carro and
Manuel V. Hermenegildo},
title = {Description and Optimization of Abstract Machines in a Dialect of
Prolog},
journal = {CoRR},
volume = {abs/1411.5573},
year = {2014},
url = {http://arxiv.org/abs/1411.5573},
eprinttype = {arXiv},
eprint = {1411.5573},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MoralesCH14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/IvanovicCH13,
author = {Dragan Ivanovic and
Manuel Carro and
Manuel V. Hermenegildo},
title = {A sharing-based approach to supporting adaptation in service compositions},
journal = {Computing},
volume = {95},
number = {6},
pages = {453--492},
year = {2013},
url = {https://doi.org/10.1007/s00607-012-0230-z},
doi = {10.1007/S00607-012-0230-Z},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/IvanovicCH13.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/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}
}
@inproceedings{DBLP:conf/padl/GuzmanCH13,
author = {Pablo Chico de Guzm{\'{a}}n and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Konstantinos Sagonas},
title = {Supporting Pruning in Tabled {LP}},
booktitle = {Practical Aspects of Declarative Languages - 15th International Symposium,
{PADL} 2013, Rome, Italy, January 21-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7752},
pages = {60--76},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45284-0\_5},
doi = {10.1007/978-3-642-45284-0\_5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/GuzmanCH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/DreyMHC13,
author = {Zo{\'{e}} Drey and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo and
Manuel Carro},
editor = {Konstantinos Sagonas},
title = {Reversible Language Extensions and Their Application in Debugging},
booktitle = {Practical Aspects of Declarative Languages - 15th International Symposium,
{PADL} 2013, Rome, Italy, January 21-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7752},
pages = {206--221},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45284-0\_14},
doi = {10.1007/978-3-642-45284-0\_14},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/DreyMHC13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-7694,
author = {Zo{\'{e}} Drey and
Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo},
title = {Reversible Language Extensions and their Application in Debugging},
journal = {CoRR},
volume = {abs/1301.7694},
year = {2013},
url = {http://arxiv.org/abs/1301.7694},
eprinttype = {arXiv},
eprint = {1301.7694},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-7694.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-7702,
author = {Emilio Jes{\'{u}}s Gallego Arias and
R{\'{e}}my Haemmerl{\'{e}} and
Manuel V. Hermenegildo and
Jos{\'{e}} F. Morales},
title = {The Ciao clp(FD) Library. {A} Modular {CLP} Extension for Prolog},
journal = {CoRR},
volume = {abs/1301.7702},
year = {2013},
url = {http://arxiv.org/abs/1301.7702},
eprinttype = {arXiv},
eprint = {1301.7702},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-7702.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}
}
@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}
}
@article{DBLP:journals/tplp/MoralesHCH12,
author = {Jos{\'{e}} F. Morales and
R{\'{e}}my Haemmerl{\'{e}} and
Manuel Carro and
Manuel V. Hermenegildo},
title = {Lightweight compilation of {(C)LP} to JavaScript},
journal = {Theory Pract. Log. Program.},
volume = {12},
number = {4-5},
pages = {755--773},
year = {2012},
url = {https://doi.org/10.1017/S1471068412000336},
doi = {10.1017/S1471068412000336},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/MoralesHCH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/GuzmanCHS12,
author = {Pablo Chico de Guzm{\'{a}}n and
Manuel Carro and
Manuel V. Hermenegildo and
Peter J. Stuckey},
editor = {Tom Schrijvers and
Peter Thiemann},
title = {A General Implementation Framework for Tabled {CLP}},
booktitle = {Functional and Logic Programming - 11th International Symposium, {FLOPS}
2012, Kobe, Japan, May 23-25, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7294},
pages = {104--119},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29822-6\_11},
doi = {10.1007/978-3-642-29822-6\_11},
timestamp = {Mon, 23 Mar 2020 12:22:51 +0100},
biburl = {https://dblp.org/rec/conf/flops/GuzmanCHS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/IvanovicCH12,
author = {Dragan Ivanovic and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Patricia Lago and
Grace A. Lewis and
Andreas Metzger and
Vladimir Tosic},
title = {Exploring the impact of inaccuracy and imprecision of QoS assumptions
on proactive constraint-based QoS prediction for service orchestrations},
booktitle = {4th International {ICSE} Workshop on Principles of Engineering Service-Oriented
Systems, {PESOS} 2012, June 4, 2012, Zurich, Switzerland},
pages = {29--35},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/PESOS.2012.6225936},
doi = {10.1109/PESOS.2012.6225936},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/IvanovicCH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/IvanovicCH12a,
author = {Dragan Ivanovic and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Andreas Metzger and
Klaus Pohl and
Mike P. Papazoglou},
title = {Analyzing service-oriented systems using their data and structure},
booktitle = {First International Workshop on European Software Services and Systems
Research - Results and Challenges, S-Cube 2012, Zurich, Switzerland,
June 5, 2012},
pages = {47--48},
publisher = {{IEEE}},
year = {2012},
url = {https://doi.org/10.1109/S-Cube.2012.6225510},
doi = {10.1109/S-CUBE.2012.6225510},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/IvanovicCH12a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/IvanovicCH12,
author = {Dragan Ivanovic and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Chengfei Liu and
Heiko Ludwig and
Farouk Toumani and
Qi Yu},
title = {A Constraint-Based Approach to Quality Assurance in Service Choreographies},
booktitle = {Service-Oriented Computing - 10th International Conference, {ICSOC}
2012, Shanghai, China, November 12-15, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7636},
pages = {252--267},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-34321-6\_17},
doi = {10.1007/978-3-642-34321-6\_17},
timestamp = {Mon, 26 Jun 2023 20:44:14 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/IvanovicCH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/GuzmanCCH12,
author = {Pablo Chico de Guzm{\'{a}}n and
Amadeo Casas and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Claudio V. Russo and
Neng{-}Fa Zhou},
title = {A Segment-Swapping Approach for Executing Trapped Computations},
booktitle = {Practical Aspects of Declarative Languages - 14th International Symposium,
{PADL} 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7149},
pages = {138--152},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-27694-1\_11},
doi = {10.1007/978-3-642-27694-1\_11},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/GuzmanCCH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1210-2864,
author = {Jos{\'{e}} F. Morales and
R{\'{e}}my Haemmerl{\'{e}} and
Manuel Carro and
Manuel V. Hermenegildo},
title = {Lightweight compilation of {(C)LP} to JavaScript},
journal = {CoRR},
volume = {abs/1210.2864},
year = {2012},
url = {http://arxiv.org/abs/1210.2864},
eprinttype = {arXiv},
eprint = {1210.2864},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-2864.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}
}
@article{DBLP:journals/tplp/GuzmanCCH11,
author = {Pablo Chico de Guzm{\'{a}}n and
Amadeo Casas and
Manuel Carro and
Manuel V. Hermenegildo},
title = {Parallel backtracking with answer memoing for independent and-parallelism},
journal = {Theory Pract. Log. Program.},
volume = {11},
number = {4-5},
pages = {555--574},
year = {2011},
url = {https://doi.org/10.1017/S1471068411000172},
doi = {10.1017/S1471068411000172},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GuzmanCCH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEscc/IvanovicCH11,
author = {Dragan Ivanovic and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Hans{-}Arno Jacobsen and
Yan Wang and
Patrick Hung},
title = {Automated Attribute Inference in Complex Service Workflows Based on
Sharing Analysis},
booktitle = {{IEEE} International Conference on Services Computing, {SCC} 2011,
Washington, DC, USA, 4-9 July, 2011},
pages = {120--127},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SCC.2011.85},
doi = {10.1109/SCC.2011.85},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEscc/IvanovicCH11.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/icsoc/IvanovicCH11,
author = {Dragan Ivanovic and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Gerti Kappel and
Zakaria Maamar and
Hamid R. Motahari Nezhad},
title = {Constraint-Based Runtime Prediction of {SLA} Violations in Service
Orchestrations},
booktitle = {Service-Oriented Computing - 9th International Conference, {ICSOC}
2011, Paphos, Cyprus, December 5-8, 2011 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7084},
pages = {62--76},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25535-9\_5},
doi = {10.1007/978-3-642-25535-9\_5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/IvanovicCH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MoralesHH11,
author = {Jos{\'{e}} F. Morales and
Manuel V. Hermenegildo and
R{\'{e}}my Haemmerl{\'{e}}},
editor = {Germ{\'{a}}n Vidal},
title = {Modular Extensions for Modular (Logic) Languages},
booktitle = {Logic-Based Program Synthesis and Transformation - 21st International
Symposium, {LOPSTR} 2011, Odense, Denmark, July 18-20, 2011. Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7225},
pages = {139--154},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-32211-2\_10},
doi = {10.1007/978-3-642-32211-2\_10},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/MoralesHH11.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}
}
@incollection{DBLP:reference/parallel/CarroH11,
author = {Manuel Carro and
Manuel V. Hermenegildo},
editor = {David A. Padua},
title = {Logic Languages},
booktitle = {Encyclopedia of Parallel Computing},
pages = {1057--1068},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-0-387-09766-4\_116},
doi = {10.1007/978-0-387-09766-4\_116},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/reference/parallel/CarroH11.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/corr/abs-1107-4724,
author = {Pablo Chico de Guzm{\'{a}}n and
Amadeo Casas and
Manuel Carro and
Manuel V. Hermenegildo},
title = {Parallel Backtracking with Answer Memoing for Independent And-Parallelism},
journal = {CoRR},
volume = {abs/1107.4724},
year = {2011},
url = {http://arxiv.org/abs/1107.4724},
eprinttype = {arXiv},
eprint = {1107.4724},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1107-4724.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jpdc/StivalaSBHW10,
author = {Alex D. Stivala and
Peter J. Stuckey and
Maria Garcia de la Banda and
Manuel V. Hermenegildo and
Anthony Wirth},
title = {Lock-free parallel dynamic programming},
journal = {J. Parallel Distributed Comput.},
volume = {70},
number = {8},
pages = {839--848},
year = {2010},
url = {https://doi.org/10.1016/j.jpdc.2010.01.004},
doi = {10.1016/J.JPDC.2010.01.004},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jpdc/StivalaSBHW10.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}
}
@article{DBLP:journals/tplp/HermenegildoS10,
author = {Manuel V. Hermenegildo and
Torsten Schaub},
title = {Introduction to the 26th international conference on logic programming
special issue},
journal = {Theory Pract. Log. Program.},
volume = {10},
number = {4-6},
pages = {361--364},
year = {2010},
url = {https://doi.org/10.1017/S1471068410000153},
doi = {10.1017/S1471068410000153},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tplp/HermenegildoS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HermenegildoS10,
author = {Manuel V. Hermenegildo and
Torsten Schaub},
editor = {Manuel V. Hermenegildo and
Torsten Schaub},
title = {Titlepage, Table of Contents, Conference Organization},
booktitle = {Technical Communications of the 26th International Conference on Logic
Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
series = {LIPIcs},
volume = {7},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2010.i},
doi = {10.4230/LIPICS.ICLP.2010.I},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iclp/HermenegildoS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HermenegildoS10a,
author = {Manuel V. Hermenegildo and
Torsten Schaub},
editor = {Manuel V. Hermenegildo and
Torsten Schaub},
title = {Introduction to the Technical Communications of the 26th International
Conference on Logic Programming},
booktitle = {Technical Communications of the 26th International Conference on Logic
Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
series = {LIPIcs},
volume = {7},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.ICLP.2010.XI},
doi = {10.4230/LIPICS.ICLP.2010.XI},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/HermenegildoS10a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsoc/IvanovicCH10,
author = {Dragan Ivanovic and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Paul P. Maglio and
Mathias Weske and
Jian Yang and
Marcelo Fantinato},
title = {Automatic Fragment Identification in Workflows Based on Sharing Analysis},
booktitle = {Service-Oriented Computing - 8th International Conference, {ICSOC}
2010, San Francisco, CA, USA, December 7-10, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6470},
pages = {350--364},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17358-5\_24},
doi = {10.1007/978-3-642-17358-5\_24},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/IvanovicCH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icws/IvanovicCH10,
author = {Dragan Ivanovic and
Manuel Carro and
Manuel V. Hermenegildo},
title = {Towards Data-Aware QoS-driven Adaptation for Service Orchestrations},
booktitle = {{IEEE} International Conference on Web Services, {ICWS} 2010, Miami,
Florida, USA, July 5-10, 2010},
pages = {107--114},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/ICWS.2010.73},
doi = {10.1109/ICWS.2010.73},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icws/IvanovicCH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2010,
editor = {Manuel V. Hermenegildo and
Torsten Schaub},
title = {Technical Communications of the 26th International Conference on Logic
Programming, {ICLP} 2010, July 16-19, 2010, Edinburgh, Scotland, {UK}},
series = {LIPIcs},
volume = {7},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=10003},
isbn = {978-3-939897-17-0},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/popl/2010,
editor = {Manuel V. Hermenegildo and
Jens Palsberg},
title = {Proceedings of the 37th {ACM} {SIGPLAN-SIGACT} Symposium on Principles
of Programming Languages, {POPL} 2010, Madrid, Spain, January 17-23,
2010},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1706299},
doi = {10.1145/1706299},
isbn = {978-1-60558-479-9},
timestamp = {Tue, 22 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2010,
editor = {Gilles Barthe and
Manuel V. Hermenegildo},
title = {Verification, Model Checking, and Abstract Interpretation, 11th International
Conference, {VMCAI} 2010, Madrid, Spain, January 17-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5944},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11319-2},
doi = {10.1007/978-3-642-11319-2},
isbn = {978-3-642-11318-5},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1002-1836,
author = {Francisco Bueno and
Jorge A. Navas and
Manuel V. Hermenegildo},
title = {Towards Parameterized Regular Type Inference Using Set Constraints},
journal = {CoRR},
volume = {abs/1002.1836},
year = {2010},
url = {http://arxiv.org/abs/1002.1836},
eprinttype = {arXiv},
eprint = {1002.1836},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-1836.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1008-1710,
author = {Manuel V. Hermenegildo and
Torsten Schaub},
title = {Introduction to the 26th International Conference on Logic Programming
Special Issue},
journal = {CoRR},
volume = {abs/1008.1710},
year = {2010},
url = {http://arxiv.org/abs/1008.1710},
eprinttype = {arXiv},
eprint = {1008.1710},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1008-1710.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/tcs/GrasH09,
author = {Daniel Cabeza Gras and
Manuel V. Hermenegildo},
title = {Non-strict independence-based program parallelization using sharing
and freeness information},
journal = {Theor. Comput. Sci.},
volume = {410},
number = {46},
pages = {4704--4723},
year = {2009},
url = {https://doi.org/10.1016/j.tcs.2009.07.044},
doi = {10.1016/J.TCS.2009.07.044},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GrasH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GuzmanCH09,
author = {Pablo Chico de Guzm{\'{a}}n and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Patricia M. Hill and
David Scott Warren},
title = {A Tabling Implementation Based on Variables with Multiple Bindings},
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 = {190--204},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02846-5\_19},
doi = {10.1007/978-3-642-02846-5\_19},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GuzmanCH09.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/icsoc/IvanovicCH09,
author = {Dragan Ivanovic and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Asit Dan and
Frederic Gittler and
Farouk Toumani},
title = {An Initial Proposal for Data-Aware Resource Analysis of Orchestrations
with Applications to Predictive Monitoring},
booktitle = {Service-Oriented Computing. ICSOC/ServiceWave 2009 Workshops - International
Workshops, ICSOC/ServiceWave 2009, Stockholm, Sweden, November 23-27,
2009, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6275},
pages = {414--424},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-16132-2\_39},
doi = {10.1007/978-3-642-16132-2\_39},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icsoc/IvanovicCH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwmm/MarronKH09,
author = {Mark Marron and
Deepak Kapur and
Manuel V. Hermenegildo},
editor = {Hillel Kolodner and
Guy L. Steele Jr.},
title = {Identification of logically related heap regions},
booktitle = {Proceedings of the 8th International Symposium on Memory Management,
{ISMM} 2009, Dublin, Ireland, June 19-20, 2009},
pages = {89--98},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1542431.1542445},
doi = {10.1145/1542431.1542445},
timestamp = {Mon, 12 Jul 2021 15:34:15 +0200},
biburl = {https://dblp.org/rec/conf/iwmm/MarronKH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/ScandoloKH09,
author = {Leonardo Scandolo and
C{\'{e}}sar Kunz and
Manuel V. Hermenegildo},
editor = {Danny De Schreye},
title = {Program Parallelization Using Synchronized Pipelining},
booktitle = {Logic-Based Program Synthesis and Transformation, 19th International
Symposium, {LOPSTR} 2009, Coimbra, Portugal, September 2009, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6037},
pages = {173--187},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12592-8\_13},
doi = {10.1007/978-3-642-12592-8\_13},
timestamp = {Sun, 02 Oct 2022 16:11:18 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/ScandoloKH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/GuzmanCH09,
author = {Pablo Chico de Guzm{\'{a}}n and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Andy Gill and
Terrance Swift},
title = {Towards a Complete Scheme for Tabled Execution Based on Program Transformation},
booktitle = {Practical Aspects of Declarative Languages, 11th International Symposium,
{PADL} 2009, Savannah, GA, USA, January 19-20, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5418},
pages = {224--238},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-540-92995-6\_16},
doi = {10.1007/978-3-540-92995-6\_16},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/GuzmanCH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/NavasMH09,
author = {Jorge A. Navas and
Mario M{\'{e}}ndez{-}Lojo and
Manuel V. Hermenegildo},
editor = {Elvira Albert and
Samir Genaim},
title = {User-Definable Resource Usage Bounds Analysis for Java Bytecode},
booktitle = {Proceedings of the Fourth Workshop on Bytecode Semantics, Verification,
Analysis and Transformation, BYTECODE@ETAPS 2009, York, UK, March
29, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {5},
pages = {65--82},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.11.015},
doi = {10.1016/J.ENTCS.2009.11.015},
timestamp = {Fri, 24 Feb 2023 15:28:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/NavasMH09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0901-3906,
author = {Pablo Chico de Guzm{\'{a}}n and
Manuel Carro and
Manuel V. Hermenegildo},
title = {A Program Transformation for Continuation Call-Based Tabled Execution},
journal = {CoRR},
volume = {abs/0901.3906},
year = {2009},
url = {http://arxiv.org/abs/0901.3906},
eprinttype = {arXiv},
eprint = {0901.3906},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0901-3906.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/cc/MarronHKS08,
author = {Mark Marron and
Manuel V. Hermenegildo and
Deepak Kapur and
Darko Stefanovic},
editor = {Laurie J. Hendren},
title = {Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models},
booktitle = {Compiler Construction, 17th International Conference, {CC} 2008, Held
as Part of the Joint European Conferences on Theory and Practice of
Software, {ETAPS} 2008, Budapest, Hungary, March 29 - April 6, 2008.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4959},
pages = {245--259},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78791-4\_17},
doi = {10.1007/978-3-540-78791-4\_17},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/cc/MarronHKS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/TriasNAFH08,
author = {Eric D. Trias and
Jorge A. Navas and
Elena S. Ackley and
Stephanie Forrest and
Manuel V. Hermenegildo},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {Negative Ternary Set-Sharing},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {301--316},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_30},
doi = {10.1007/978-3-540-89982-2\_30},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/TriasNAFH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CasasCH08,
author = {Amadeo Casas and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {A High-Level Implementation of Non-deterministic, Unrestricted, Independent
And-Parallelism},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {651--666},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_53},
doi = {10.1007/978-3-540-89982-2\_53},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/CasasCH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GuzmanCH08,
author = {Pablo Chico de Guzm{\'{a}}n and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Maria Garcia de la Banda and
Enrico Pontelli},
title = {A Sketch of a Complete Scheme for Tabled Execution Based on Program
Transformation},
booktitle = {Logic Programming, 24th International Conference, {ICLP} 2008, Udine,
Italy, December 9-13 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5366},
pages = {795--800},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89982-2\_79},
doi = {10.1007/978-3-540-89982-2\_79},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GuzmanCH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/Mendez-LojoLH08,
author = {Mario M{\'{e}}ndez{-}Lojo and
Ondrej Lhot{\'{a}}k and
Manuel V. Hermenegildo},
editor = {Jos{\'{e}} Nelson Amaral},
title = {Efficient Set Sharing Using ZBDDs},
booktitle = {Languages and Compilers for Parallel Computing, 21th International
Workshop, {LCPC} 2008, Edmonton, Canada, July 31 - August 2, 2008,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5335},
pages = {47--63},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89740-8\_4},
doi = {10.1007/978-3-540-89740-8\_4},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/Mendez-LojoLH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lcpc/MarronSKH08,
author = {Mark Marron and
Darko Stefanovic and
Deepak Kapur and
Manuel V. Hermenegildo},
editor = {Jos{\'{e}} Nelson Amaral},
title = {Identification of Heap-Carried Data Dependence Via Explicit Store
Heap Models},
booktitle = {Languages and Compilers for Parallel Computing, 21th International
Workshop, {LCPC} 2008, Edmonton, Canada, July 31 - August 2, 2008,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5335},
pages = {94--108},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89740-8\_7},
doi = {10.1007/978-3-540-89740-8\_7},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/MarronSKH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/GuzmanCHSR08,
author = {Pablo Chico de Guzm{\'{a}}n and
Manuel Carro and
Manuel V. Hermenegildo and
Cl{\'{a}}udio Silva and
Ricardo Rocha},
editor = {Paul Hudak and
David Scott Warren},
title = {An Improved Continuation Call-Based Implementation of Tabling},
booktitle = {Practical Aspects of Declarative Languages, 10th International Symposium,
{PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
series = {Lecture Notes in Computer Science},
volume = {4902},
pages = {197--213},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77442-6\_14},
doi = {10.1007/978-3-540-77442-6\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/GuzmanCHSR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/CasasCH08,
author = {Amadeo Casas and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Paul Hudak and
David Scott Warren},
title = {Towards a High-Level Implementation of Execution Primitives for Unrestricted,
Independent And-Parallelism},
booktitle = {Practical Aspects of Declarative Languages, 10th International Symposium,
{PADL} 2008, San Francisco, CA, USA, January 7-8, 2008},
series = {Lecture Notes in Computer Science},
volume = {4902},
pages = {230--247},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-77442-6\_16},
doi = {10.1007/978-3-540-77442-6\_16},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/CasasCH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/MarronMHSK08,
author = {Mark Marron and
Mario M{\'{e}}ndez{-}Lojo and
Manuel V. Hermenegildo and
Darko Stefanovic and
Deepak Kapur},
editor = {Shriram Krishnamurthi and
Michal Young},
title = {Sharing analysis of arrays, collections, and recursive structures},
booktitle = {Proceedings of the 8th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'08, Atlanta, Georgia,
November 9-10, 2008},
pages = {43--49},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1512475.1512485},
doi = {10.1145/1512475.1512485},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/MarronMHSK08.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/ppdp/MoralesCH08,
author = {Jos{\'{e}} F. Morales and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Sergio Antoy and
Elvira Albert},
title = {Comparing tag scheme variations using an abstract machine generator},
booktitle = {Proceedings of the 10th International {ACM} {SIGPLAN} Conference on
Principles and Practice of Declarative Programming, July 15-17, 2008,
Valencia, Spain},
pages = {32--43},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1389449.1389455},
doi = {10.1145/1389449.1389455},
timestamp = {Fri, 23 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ppdp/MoralesCH08.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/vmcai/Mendez-LojoH08,
author = {Mario M{\'{e}}ndez{-}Lojo and
Manuel V. Hermenegildo},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Precise Set Sharing Analysis for Java-Style Programs},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {172--187},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_17},
doi = {10.1007/978-3-540-78163-9\_17},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Mendez-LojoH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/flops/2008,
editor = {Jacques Garrigue and
Manuel V. Hermenegildo},
title = {Functional and Logic Programming, 9th International Symposium, {FLOPS}
2008, Ise, Japan, April 14-16, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4989},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78969-7},
doi = {10.1007/978-3-540-78969-7},
isbn = {978-3-540-78968-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/2008.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PietrzakH07,
author = {Pawel Pietrzak and
Manuel V. Hermenegildo},
editor = {Ver{\'{o}}nica Dahl and
Ilkka Niemel{\"{a}}},
title = {Automatic Binding-Related Error Diagnosis in 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 = {333--347},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74610-2\_23},
doi = {10.1007/978-3-540-74610-2\_23},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/PietrzakH07.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/issac/CasasCH07,
author = {Amadeo Casas and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Marc Moreno Maza and
Stephen M. Watt},
title = {Towards a high-level implementation of flexible parallelism primitives
for symbolic languages},
booktitle = {Parallel Symbolic Computation, {PASCO} 2007, International Workshop,
27-28 July 2007, University of Western Ontario, London, Ontario, Canada},
pages = {93--94},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1278177.1278193},
doi = {10.1145/1278177.1278193},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/issac/CasasCH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/CasasCH07,
author = {Amadeo Casas and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Andy King},
title = {Annotation Algorithms for Unrestricted Independent And-Parallelism
in Logic Programs},
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 = {138--153},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78769-3\_10},
doi = {10.1007/978-3-540-78769-3\_10},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/CasasCH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/Mendez-LojoNH07,
author = {Mario M{\'{e}}ndez{-}Lojo and
Jorge A. Navas and
Manuel V. Hermenegildo},
editor = {Andy King},
title = {A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented
Programs},
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 = {154--168},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-78769-3\_11},
doi = {10.1007/978-3-540-78769-3\_11},
timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/Mendez-LojoNH07.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 = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/MeraLPCH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/paste/MarronSHK07,
author = {Mark Marron and
Darko Stefanovic and
Manuel V. Hermenegildo and
Deepak Kapur},
editor = {Manuvir Das and
Dan Grossman},
title = {Heap analysis in the presence of collection libraries},
booktitle = {Proceedings of the 7th {ACM} {SIGPLAN-SIGSOFT} Workshop on Program
Analysis for Software Tools and Engineering, PASTE'07, San Diego,
California, USA, June 13-14, 2007},
pages = {31--36},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1251535.1251541},
doi = {10.1145/1251535.1251541},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/paste/MarronSHK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Hermenegildo07,
author = {Manuel V. Hermenegildo},
editor = {Neal Glew and
Guy E. Blelloch},
title = {Automatic granularity-aware parallelization of programs with predicates,
functions, and constraints: invited talk},
booktitle = {Proceedings of the {POPL} 2007 Workshop on Declarative Aspects of
Multicore Programming, {DAMP} 2007, Nice, France, January 16, 2007},
pages = {1},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1248648.1248649},
doi = {10.1145/1248648.1248649},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Hermenegildo07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MendezNH07,
author = {Mario M{\'{e}}ndez{-}Lojo and
Jorge A. Navas and
Manuel V. Hermenegildo},
editor = {Marieke Huisman and
Fausto Spoto},
title = {An Efficient, Parametric Fixpoint Algorithm for 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 = {51--66},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.02.060},
doi = {10.1016/J.ENTCS.2007.02.060},
timestamp = {Tue, 31 Jan 2023 15:42:47 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MendezNH07.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/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/flops/CasasCH06,
author = {Amadeo Casas and
Daniel Cabeza and
Manuel V. Hermenegildo},
editor = {Masami Hagiya and
Philip Wadler},
title = {A Syntactic Approach to Combining Functional Notation, Lazy Evaluation,
and Higher-Order in {LP} Systems},
booktitle = {Functional and Logic Programming, 8th International Symposium, {FLOPS}
2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3945},
pages = {146--162},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11737414\_11},
doi = {10.1007/11737414\_11},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/CasasCH06.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/lcpc/MarronKSH06,
author = {Mark Marron and
Deepak Kapur and
Darko Stefanovic and
Manuel V. Hermenegildo},
editor = {George Alm{\'{a}}si and
Calin Cascaval and
Peng Wu},
title = {A Static Heap Analysis for Shape and Connectivity: Unified Memory
Analysis: The Base Framework},
booktitle = {Languages and Compilers for Parallel Computing, 19th International
Workshop, {LCPC} 2006, New Orleans, LA, USA, November 2-4, 2006. Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {4382},
pages = {345--363},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-72521-3\_25},
doi = {10.1007/978-3-540-72521-3\_25},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/lcpc/MarronKSH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/MoralesCH06,
author = {Jos{\'{e}} F. Morales and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Germ{\'{a}}n Puebla},
title = {Towards Description and Optimization of Abstract Machines in an Extension
of Prolog},
booktitle = {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},
pages = {77--93},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-71410-1\_7},
doi = {10.1007/978-3-540-71410-1\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/MoralesCH06.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 = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/PietrzakCPH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/NavasBH06,
author = {Jorge A. Navas and
Francisco Bueno and
Manuel V. Hermenegildo},
editor = {Pascal Van Hentenryck},
title = {Efficient Top-Down Set-Sharing Analysis Using Cliques},
booktitle = {Practical Aspects of Declarative Languages, 8th International Symposium,
{PADL} 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3819},
pages = {183--198},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11603023\_13},
doi = {10.1007/11603023\_13},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/padl/NavasBH06.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}
}
@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/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/NavasBH05,
author = {Jorge A. Navas and
Francisco Bueno and
Manuel V. Hermenegildo},
editor = {Alexander Serebrenik and
Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez},
title = {A Study of Set-Sharing Analysis via Clique},
booktitle = {Proceedings of the 15th International Workshop on Logic Programming
Environments, Sitges (Barcelona), Spain, October 5, 2005},
pages = {31--45},
year = {2005},
url = {http://arxiv.org/abs/cs.LO/0508112},
timestamp = {Fri, 05 Feb 2021 11:07:04 +0100},
biburl = {https://dblp.org/rec/conf/lpe/NavasBH05.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 00:00:00 +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}
}
@proceedings{DBLP:conf/padl/2005,
editor = {Manuel V. Hermenegildo and
Daniel Cabeza},
title = {Practical Aspects of Declarative Languages, 7th International Symposium,
{PADL} 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3350},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/b105205},
doi = {10.1007/B105205},
isbn = {3-540-24362-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/padl/2005.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}
}
@article{DBLP:journals/corr/NavasBH05,
author = {Jorge A. Navas and
Francisco Bueno and
Manuel V. Hermenegildo},
title = {A study of set-sharing analysis via cliques},
journal = {CoRR},
volume = {abs/cs/0508112},
year = {2005},
url = {http://arxiv.org/abs/cs/0508112},
eprinttype = {arXiv},
eprint = {cs/0508112},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/NavasBH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/CabezaHL04,
author = {Daniel Cabeza and
Manuel V. Hermenegildo and
James Lipton},
editor = {Michael J. Maher},
title = {Hiord: {A} Type-Free Higher-Order Logic Programming Language with
Predicate Abstraction},
booktitle = {Advances in Computer Science - {ASIAN} 2004, Higher-Level Decision
Making, 9th Asian Computing Science Conference, Dedicated to Jean-Louis
Lassez on the Occasion of His 5th Cycle Birthday, Chiang Mai, Thailand,
December 8-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3321},
pages = {93--108},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30502-6\_7},
doi = {10.1007/978-3-540-30502-6\_7},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/asian/CabezaHL04.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, 14 May 2019 10:00:46 +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, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/flops/BuenoLH04.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/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/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 = {Sun, 04 Jun 2017 01:00:00 +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/padl/MoralesCH04,
author = {Jos{\'{e}} F. Morales and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Bharat Jayaraman},
title = {Improved Compilation of Prolog to {C} Using Moded Types and Determinism
Information},
booktitle = {Practical Aspects of Declarative Languages, 6th International Symposium,
{PADL} 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3057},
pages = {86--103},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24836-1\_7},
doi = {10.1007/978-3-540-24836-1\_7},
timestamp = {Mon, 05 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/MoralesCH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/CorreasGCCH04,
author = {Jes{\'{u}}s Correas and
Jos{\'{e}} M. G{\'{o}}mez and
Manuel Carro and
Daniel Cabeza and
Manuel V. Hermenegildo},
editor = {Bharat Jayaraman},
title = {A Generic Persistence Model for {(C)LP} Systems (and Two Useful Implementations)},
booktitle = {Practical Aspects of Declarative Languages, 6th International Symposium,
{PADL} 2004, Dallas, TX, USA, June 18-19, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3057},
pages = {104--119},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24836-1\_8},
doi = {10.1007/978-3-540-24836-1\_8},
timestamp = {Thu, 16 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/padl/CorreasGCCH04.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/iclp/CorreasGCGH03,
author = {Jes{\'{u}}s Correas and
Jos{\'{e}} M. G{\'{o}}mez and
Manuel Carro and
Daniel Cabeza Gras and
Manuel V. Hermenegildo},
editor = {Catuscia Palamidessi},
title = {A Generic Persistence Model for {(C)LP} Systems},
booktitle = {Logic Programming, 19th International Conference, {ICLP} 2003, Mumbai,
India, December 9-13, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2916},
pages = {481--482},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24599-5\_33},
doi = {10.1007/978-3-540-24599-5\_33},
timestamp = {Thu, 16 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CorreasGCGH03.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}
}
@article{DBLP:journals/corr/cs-DC-0312031,
author = {Daniel Cabeza and
Manuel V. Hermenegildo},
title = {Distributed {WWW} Programming using (Ciao-)Prolog and the PiLLoW library},
journal = {CoRR},
volume = {cs.DC/0312031},
year = {2003},
url = {http://arxiv.org/abs/cs/0312031},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DC-0312031.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}
}
@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/GuptaPACH01,
author = {Gopal Gupta and
Enrico Pontelli and
Khayri A. M. Ali and
Mats Carlsson and
Manuel V. Hermenegildo},
title = {Parallel execution of prolog programs: a survey},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {23},
number = {4},
pages = {472--602},
year = {2001},
url = {https://doi.org/10.1145/504083.504085},
doi = {10.1145/504083.504085},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/toplas/GuptaPACH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/SterlingNH01,
author = {Leon Sterling and
Lee Naish and
Manuel V. Hermenegildo},
title = {Guest editor's introduction Special issue on Logic Programming and
the Internet},
journal = {Theory Pract. Log. Program.},
volume = {1},
number = {3},
pages = {249--250},
year = {2001},
url = {https://doi.org/10.1017/S1471068401001156},
doi = {10.1017/S1471068401001156},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/SterlingNH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/GrasH01,
author = {Daniel Cabeza Gras and
Manuel V. Hermenegildo},
title = {Distributed {WWW} Programming using (Ciao-)Prolog and the PiLLoW library},
journal = {Theory Pract. Log. Program.},
volume = {1},
number = {3},
pages = {251--282},
year = {2001},
url = {https://doi.org/10.1017/S147106840100117X},
doi = {10.1017/S147106840100117X},
timestamp = {Thu, 13 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tplp/GrasH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/Munoz-HernandezMH01,
author = {Susana Mu{\~{n}}oz{-}Hern{\'{a}}ndez and
Juan Jos{\'{e}} Moreno{-}Navarro and
Manuel V. Hermenegildo},
editor = {Robert Nieuwenhuis and
Andrei Voronkov},
title = {Efficient Negation Using Abstract Interpretation},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning, 8th
International Conference, {LPAR} 2001, Havana, Cuba, December 3-7,
2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2250},
pages = {485--494},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45653-8\_33},
doi = {10.1007/3-540-45653-8\_33},
timestamp = {Sun, 02 Oct 2022 16:11:18 +0200},
biburl = {https://dblp.org/rec/conf/lpar/Munoz-HernandezMH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pc/Hermenegildo00,
author = {Manuel V. Hermenegildo},
title = {Parallelizing irregular and pointer-based computations automatically:
Perspectives from logic and constraint programming},
journal = {Parallel Comput.},
volume = {26},
number = {13-14},
pages = {1685--1708},
year = {2000},
url = {https://doi.org/10.1016/S0167-8191(00)00051-X},
doi = {10.1016/S0167-8191(00)00051-X},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/pc/Hermenegildo00.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}
}
@article{DBLP:journals/toplas/BandaHM00,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo and
Kim Marriott},
title = {Independence in {CLP} languages},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {22},
number = {2},
pages = {296--339},
year = {2000},
url = {https://doi.org/10.1145/349214.349224},
doi = {10.1145/349214.349224},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BandaHM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/GrasH00,
author = {Daniel Cabeza Gras and
Manuel V. Hermenegildo},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {A New Module System for Prolog},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {131--148},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_9},
doi = {10.1007/3-540-44957-4\_9},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/cl/GrasH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cl/Hermenegildo00,
author = {Manuel V. Hermenegildo},
editor = {John W. Lloyd and
Ver{\'{o}}nica Dahl and
Ulrich Furbach and
Manfred Kerber and
Kung{-}Kiu Lau and
Catuscia Palamidessi and
Lu{\'{\i}}s Moniz Pereira and
Yehoshua Sagiv and
Peter J. Stuckey},
title = {A Documentation Generator for {(C)LP} Systems},
booktitle = {Computational Logic - {CL} 2000, First International Conference, London,
UK, 24-28 July, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1861},
pages = {1345--1361},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44957-4\_90},
doi = {10.1007/3-540-44957-4\_90},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cl/Hermenegildo00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discipl/DeransartHM00,
author = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
editor = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
title = {Debugging of Constraint Programs: The DiSCiPl Methodology and Tools
- Introduction},
booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain
Debugging (DiSCiPl project)},
series = {Lecture Notes in Computer Science},
volume = {1870},
pages = {1--20},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722311\_1},
doi = {10.1007/10722311\_1},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/discipl/DeransartHM00.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 = {Wed, 17 May 2017 01:00:00 +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/discipl/CarroH00,
author = {Manuel Carro and
Manuel V. Hermenegildo},
editor = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
title = {Tools for Search-Tree Visualisation: The {APT} Tool},
booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain
Debugging (DiSCiPl project)},
series = {Lecture Notes in Computer Science},
volume = {1870},
pages = {237--252},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722311\_10},
doi = {10.1007/10722311\_10},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/discipl/CarroH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/discipl/CarroH00a,
author = {Manuel Carro and
Manuel V. Hermenegildo},
editor = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
title = {Tools for Constraint Visualisation: The {VIFID/TRIFID} Tool},
booktitle = {Analysis and Visualization Tools for Constraint Programming, Constrain
Debugging (DiSCiPl project)},
series = {Lecture Notes in Computer Science},
volume = {1870},
pages = {253--272},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722311\_11},
doi = {10.1007/10722311\_11},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/discipl/CarroH00a.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}
}
@inproceedings{DBLP:conf/sara/CarrerasH00,
author = {Carlos Carreras and
Manuel V. Hermenegildo},
editor = {Berthe Y. Choueiry and
Toby Walsh},
title = {Grid-Based Histogram Arithmetic for the Probabilistic Analysis of
Functions},
booktitle = {Abstraction, Reformulation, and Approximation, 4th International Symposium,
{SARA} 2000, Horseshoe Bay, Texas, USA, July 26-29, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1864},
pages = {107--123},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44914-0\_7},
doi = {10.1007/3-540-44914-0\_7},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sara/CarrerasH00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/discipl/2000,
editor = {Pierre Deransart and
Manuel V. Hermenegildo and
Jan Maluszynski},
title = {Analysis and Visualization Tools for Constraint Programming, Constrain
Debugging (DiSCiPl project)},
series = {Lecture Notes in Computer Science},
volume = {1870},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/10722311},
doi = {10.1007/10722311},
isbn = {3-540-41137-2},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/discipl/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MuthukumarBBH99,
author = {Kalyan Muthukumar and
Francisco Bueno and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
title = {Automatic Compile-Time Parallelization of Logic Programs for Restricted,
Goal Level, Independent and Parallelism},
journal = {J. Log. Program.},
volume = {38},
number = {2},
pages = {165--218},
year = {1999},
url = {https://doi.org/10.1016/S0743-1066(98)10022-5},
doi = {10.1016/S0743-1066(98)10022-5},
timestamp = {Tue, 06 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/MuthukumarBBH99.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}
}
@article{DBLP:journals/toplas/BuenoBH99,
author = {Francisco Bueno and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
title = {Effectivness of Abstract Interpretation in Automatic Parallelization:
{A} Case Study in Logic Programming},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {21},
number = {2},
pages = {189--239},
year = {1999},
url = {https://doi.org/10.1145/316686.316688},
doi = {10.1145/316686.316688},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BuenoBH99.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/CarroH99,
author = {Manuel Carro and
Manuel V. Hermenegildo},
editor = {Danny De Schreye},
title = {Concurrency in Prolog Using Threads and a Shared Database},
booktitle = {Logic Programming: The 1999 International Conference, Las Cruces,
New Mexico, USA, November 29 - December 4, 1999},
pages = {320--334},
publisher = {{MIT} Press},
year = {1999},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CarroH99.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/GrasH99,
author = {Daniel Cabeza Gras and
Manuel V. Hermenegildo},
editor = {In{\^{e}}s de Castro Dutra and
V{\'{\i}}tor Santos Costa and
Gopal Gupta and
Enrico Pontelli and
Manuel Carro and
P{\'{e}}ter Kacsuk},
title = {The Ciao Module System: {A} New Module System for Prolog},
booktitle = {Parallelism and Implementation Technology for (Constraint) Logic Programming,
in connection with the International Conference on Logic Programming,
{ICLP} 1999, Las Cruces, New Mexico, USA, December 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {30},
number = {3},
pages = {122--142},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80105-7},
doi = {10.1016/S1571-0661(05)80105-7},
timestamp = {Wed, 23 Nov 2022 16:40:54 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GrasH99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/GrasH99a,
author = {Daniel Cabeza Gras and
Manuel V. Hermenegildo},
editor = {In{\^{e}}s de Castro Dutra and
V{\'{\i}}tor Santos Costa and
Gopal Gupta and
Enrico Pontelli and
Manuel Carro and
P{\'{e}}ter Kacsuk},
title = {The Ciao Modular, Standalone Compiler and Its Generic Program Processing
Library},
booktitle = {Parallelism and Implementation Technology for (Constraint) Logic Programming,
in connection with the International Conference on Logic Programming,
{ICLP} 1999, Las Cruces, New Mexico, USA, December 1, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {30},
number = {3},
pages = {144--162},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80103-3},
doi = {10.1016/S1571-0661(05)80103-3},
timestamp = {Sat, 21 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/GrasH99a.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/Hermenegildo99,
author = {Manuel V. Hermenegildo},
editor = {Mireille Ducass{\'{e}} and
Anthony J. Kusalik and
Germ{\'{a}}n Puebla},
title = {A System for Automatically Generating Documentation for {(C)LP} Programs},
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 = {289--307},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80663-2},
doi = {10.1016/S1571-0661(05)80663-2},
timestamp = {Wed, 23 Nov 2022 16:44:13 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Hermenegildo99.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}
}
@article{DBLP:journals/scp/BuenoHMR98,
author = {Francisco Bueno and
Manuel V. Hermenegildo and
Ugo Montanari and
Francesca Rossi},
title = {Partial Order and Contextual Net Semantics for Atomic and Locally
Atomic {CC} Programs},
journal = {Sci. Comput. Program.},
volume = {30},
number = {1-2},
pages = {51--82},
year = {1998},
url = {https://doi.org/10.1016/S0167-6423(97)00007-5},
doi = {10.1016/S0167-6423(97)00007-5},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BuenoHMR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/CarroH98,
author = {Manuel Carro and
Manuel V. Hermenegildo},
editor = {Jos{\'{e}} Luis Freire{-}Nistal and
Moreno Falaschi and
Manuel Vilares Ferro},
title = {Some Design Issues in the Visualization of Constraint Logic Program
Execution},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98,
{A} Coru{\~{n}}a, Spain, July 20-23, 1998},
pages = {71--86},
year = {1998},
timestamp = {Wed, 21 Nov 2007 11:59:17 +0100},
biburl = {https://dblp.org/rec/conf/agp/CarroH98.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}
}
@article{DBLP:journals/constraints/Hermenegildo97,
author = {Manuel V. Hermenegildo},
title = {Some Challenges for Constraint Programming},
journal = {Constraints An Int. J.},
volume = {2},
number = {1},
pages = {63--69},
year = {1997},
url = {https://doi.org/10.1023/A:1009701123606},
doi = {10.1023/A:1009701123606},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/constraints/Hermenegildo97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/CodishBBH97,
author = {Michael Codish and
Maurice Bruynooghe and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
title = {Exploiting Goal Independence in the Analysis of Logic Programs},
journal = {J. Log. Program.},
volume = {32},
number = {3},
pages = {247--261},
year = {1997},
url = {https://doi.org/10.1016/S0743-1066(96)00143-4},
doi = {10.1016/S0743-1066(96)00143-4},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/CodishBBH97.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/europar/Hermenegildo97,
author = {Manuel V. Hermenegildo},
editor = {Christian Lengauer and
Martin Griebl and
Sergei Gorlatch},
title = {Automatic Parallelization of Irregular and Pointer-Based Computations:
Perspectives from Logic and Constraint Programming},
booktitle = {Euro-Par '97 Parallel Processing, Third International Euro-Par Conference,
Passau, Germany, August 26-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1300},
pages = {31--45},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0002715},
doi = {10.1007/BFB0002715},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/Hermenegildo97.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/Hermenegildo97,
author = {Manuel V. Hermenegildo},
editor = {Jan Maluszynski},
title = {Programming with Global Analysis (Abstract)},
booktitle = {Logic Programming, Proceedings of the 1997 International Symposium,
Port Jefferson, Long Island, NY, USA, October 13-16, 1997},
pages = {49--50},
publisher = {{MIT} Press},
year = {1997},
timestamp = {Fri, 10 Jul 2015 12:20:33 +0200},
biburl = {https://dblp.org/rec/conf/slp/Hermenegildo97.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/cl/PontelliGTCH96,
author = {Enrico Pontelli and
Gopal Gupta and
Dongxing Tang and
Manuel Carro and
Manuel V. Hermenegildo},
title = {Improving the Efficiency of Nondeterministic Independent and-Parallel
Systems},
journal = {Comput. Lang.},
volume = {22},
number = {2/3},
pages = {115--142},
year = {1996},
url = {https://doi.org/10.1016/S0096-0551(96)00010-0},
doi = {10.1016/S0096-0551(96)00010-0},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/PontelliGTCH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/HermenegildoC96,
author = {Manuel V. Hermenegildo and
Manuel Carro},
title = {Relating Data-Parallelism and (and-) Parallelism in Logic Programs},
journal = {Comput. Lang.},
volume = {22},
number = {2/3},
pages = {143--163},
year = {1996},
url = {https://doi.org/10.1016/S0096-0551(96)00011-2},
doi = {10.1016/S0096-0551(96)00011-2},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/HermenegildoC96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Hermenegildo96,
author = {Manuel V. Hermenegildo},
title = {Some cCallenges for Constraint Programming},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {64},
year = {1996},
url = {https://doi.org/10.1145/242224.242305},
doi = {10.1145/242224.242305},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Hermenegildo96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/ShenH96,
author = {Kish Shen and
Manuel V. Hermenegildo},
title = {High-level characteristics of or- and independent and-parallelism
in prolog},
journal = {Int. J. Parallel Program.},
volume = {24},
number = {5},
pages = {433--478},
year = {1996},
url = {https://doi.org/10.1007/BF02583023},
doi = {10.1007/BF02583023},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijpp/ShenH96.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}
}
@article{DBLP:journals/toplas/BandaHBDJS96,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo and
Maurice Bruynooghe and
Veroniek Dumortier and
Gerda Janssens and
Wim Simoens},
title = {Global Analysis of Constraint Logic Programs},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {18},
number = {5},
pages = {564--614},
year = {1996},
url = {https://doi.org/10.1145/232706.232734},
doi = {10.1145/232706.232734},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/BandaHBDJS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agp/CabezaH96,
author = {Daniel Cabeza and
Manuel V. Hermenegildo},
editor = {Paqui Lucio and
Maurizio Martelli and
Marisa Navarro},
title = {Implementing Distributed Concurrent Constraint Execution in the {CIAO}
System},
booktitle = {1996 Joint Conf. on Declarative Programming, APPIA-GULP-PRODE'96,
Donostia-San Sebastian, Spain, July 15-18, 1996},
pages = {67--78},
year = {1996},
timestamp = {Thu, 02 Dec 2004 11:12:18 +0100},
biburl = {https://dblp.org/rec/conf/agp/CabezaH96.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/alp/BandaHM96,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo and
Kim Marriott},
editor = {Michael Hanus and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Independence in Dynamically Scheduled Logic Languages},
booktitle = {Algebraic and Logic Programming, 5th International Conference, ALP'96,
Aachen, Germany, September 25-27, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1139},
pages = {47--61},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61735-3\_3},
doi = {10.1007/3-540-61735-3\_3},
timestamp = {Thu, 14 Oct 2021 10:38:45 +0200},
biburl = {https://dblp.org/rec/conf/alp/BandaHM96.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/europar/ShenH96,
author = {Kish Shen and
Manuel V. Hermenegildo},
editor = {Luc Boug{\'{e}} and
Pierre Fraigniaud and
Anne Mignotte and
Yves Robert},
title = {Flexible Scheduling for Non-Deterministic, And-parallel Execution
of Logic Programs},
booktitle = {Euro-Par '96 Parallel Processing, Second International Euro-Par Conference,
Lyon, France, August 26-29, 1996, Proceedings, Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1124},
pages = {635--639},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0024759},
doi = {10.1007/BFB0024759},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/ShenH96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/FernandezCH96,
author = {M. J. Fern{\'{a}}ndez and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Luc Boug{\'{e}} and
Pierre Fraigniaud and
Anne Mignotte and
Yves Robert},
title = {{IDRA} (IDeal Resource Allocation): Computing Ideal Speedups in Parallel
Logic Programming},
booktitle = {Euro-Par '96 Parallel Processing, Second International Euro-Par Conference,
Lyon, France, August 26-29, 1996, Proceedings, Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1124},
pages = {724--733},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/BFb0024769},
doi = {10.1007/BFB0024769},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/europar/FernandezCH96.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/BandaBH96,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Francisco Bueno and
Manuel V. Hermenegildo},
editor = {Herbert Kuchen and
S. Doaitse Swierstra},
title = {Towards Independent And-Parallelism in {CLP}},
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 = {77--91},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61756-6\_78},
doi = {10.1007/3-540-61756-6\_78},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/plilp/BandaBH96.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 = {Fri, 19 May 2017 01:00:00 +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}
}
@article{DBLP:journals/jlp/HermenegildoR95,
author = {Manuel V. Hermenegildo and
Francesca Rossi},
title = {Strict and Nonstrict Independent And-Parallelism in Logic Programs:
Correctness, Efficiency, and Compile-Time Conditions},
journal = {J. Log. Program.},
volume = {22},
number = {1},
pages = {1--45},
year = {1995},
url = {https://doi.org/10.1016/0743-1066(93)00007-F},
doi = {10.1016/0743-1066(93)00007-F},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/HermenegildoR95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BruynoogheDHM95,
author = {Maurice Bruynooghe and
Saumya K. Debray and
Manuel V. Hermenegildo and
Michael J. Maher},
title = {Guest Editors' Introduction: Special Section: Ten Years of Logic Programming},
journal = {J. Log. Program.},
volume = {23},
number = {2},
pages = {87--88},
year = {1995},
url = {https://doi.org/10.1016/0743-1066(94)00037-7},
doi = {10.1016/0743-1066(94)00037-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BruynoogheDHM95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/CodishMBBH95,
author = {Michael Codish and
Anne Mulkers and
Maurice Bruynooghe and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
title = {Improving Abstract Interpretations by Combining Domains},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {17},
number = {1},
pages = {28--44},
year = {1995},
url = {https://doi.org/10.1145/200994.200998},
doi = {10.1145/200994.200998},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/CodishMBBH95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/europar/HermenegildoC95,
author = {Manuel V. Hermenegildo and
Manuel Carro},
editor = {Seif Haridi and
Khayri A. M. Ali and
Peter Magnusson},
title = {Relating Data-Parallelism and (And-) Parallelism in Logic Programs},
booktitle = {Euro-Par '95 Parallel Processing, First International Euro-Par Conference,
Stockholm, Sweden, August 29-31, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {966},
pages = {27--41},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0020453},
doi = {10.1007/BFB0020453},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/europar/HermenegildoC95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HermenegildoGC95,
author = {Manuel V. Hermenegildo and
Daniel Cabeza Gras and
Manuel Carro},
editor = {Leon Sterling},
title = {Using Attributed Variables in the Implementation of Concurrent and
Parallel Logic Programming Systems},
booktitle = {Logic Programming, Proceedings of the Twelfth International Conference
on Logic Programming, Tokyo, Japan, June 13-16, 1995},
pages = {631--645},
publisher = {{MIT} Press},
year = {1995},
timestamp = {Mon, 02 Dec 2013 17:40:44 +0100},
biburl = {https://dblp.org/rec/conf/iclp/HermenegildoGC95.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/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 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/HermenegildoPMS95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/PontelliGH95,
author = {Enrico Pontelli and
Gopal Gupta and
Manuel V. Hermenegildo},
title = {{\&}ACE: a high-performance parallel Prolog system},
booktitle = {Proceedings of {IPPS} '95, The 9th International Parallel Processing
Symposium, April 25-28, 1995, Santa Barbara, California, {USA}},
pages = {564--571},
publisher = {{IEEE} Computer Society},
year = {1995},
url = {https://doi.org/10.1109/IPPS.1995.395891},
doi = {10.1109/IPPS.1995.395891},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ipps/PontelliGH95.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}
}
@proceedings{DBLP:conf/plilp/95,
editor = {Manuel V. Hermenegildo and
S. Doaitse Swierstra},
title = {Programming Languages: Implementations, Logics and Programs, 7th International
Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {982},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0026808},
doi = {10.1007/BFB0026808},
isbn = {3-540-60359-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/BruynoogheDHM94,
author = {Maurice Bruynooghe and
Saumya K. Debray and
Manuel V. Hermenegildo and
Michael J. Maher},
title = {Guest Editor's Introduction},
journal = {J. Log. Program.},
volume = {19/20},
pages = {1--3},
year = {1994},
url = {https://doi.org/10.1016/0743-1066(94)90022-1},
doi = {10.1016/0743-1066(94)90022-1},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/BruynoogheDHM94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alp/BuenoHMR94,
author = {Francisco Bueno and
Manuel V. Hermenegildo and
Ugo Montanari and
Francesca Rossi},
editor = {Giorgio Levi and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {From Eventual to Atomic Locally Atomic {CC} Programs: {A} Concurrent
Semantics},
booktitle = {Algebraic and Logic Programming, 4th International Conference, ALP'94,
Madid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {850},
pages = {114--132},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58431-5\_10},
doi = {10.1007/3-540-58431-5\_10},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/alp/BuenoHMR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HermenegildoC94,
author = {Manuel V. Hermenegildo and
Manuel Carro},
editor = {Jonas Barklund and
Bharat Jayaraman and
Jiro Tanaka},
title = {A Note on Data-Parallelism and (And-Parallel) Prolog},
booktitle = {Parallel and Data Parallel Execution of Logic Programs, Proceedings
of the Post-ICLP'94 Workshop {W6.} {UPMAIL} Technical Report No. 78,
June 1994},
pages = {49--64},
publisher = {Uppsala University, Computing Science Departent},
year = {1994},
url = {ftp://ftp.csd.uu.se/pub/papers/reports/0078/5-carro+hermenegildo.ps.gz},
timestamp = {Mon, 02 Dec 2013 17:40:42 +0100},
biburl = {https://dblp.org/rec/conf/iclp/HermenegildoC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/PontelliGH94,
author = {Enrico Pontelli and
Gopal Gupta and
Manuel V. Hermenegildo},
editor = {Jonas Barklund and
Bharat Jayaraman and
Jiro Tanaka},
title = {{\&}ACE: the And-parallel Component of {ACE} {(A} Progress Report
on {ACE)}},
booktitle = {Parallel and Data Parallel Execution of Logic Programs, Proceedings
of the Post-ICLP'94 Workshop {W6.} {UPMAIL} Technical Report No. 78,
June 1994},
pages = {65--78},
publisher = {Uppsala University, Computing Science Departent},
year = {1994},
url = {ftp://ftp.csd.uu.se/pub/papers/reports/0078/6-pontelli+gupta+hermenegildo.ps.gz},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/PontelliGH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GuptaHPC94,
author = {Gopal Gupta and
Manuel V. Hermenegildo and
Enrico Pontelli and
V{\'{\i}}tor Santos Costa},
editor = {Pascal Van Hentenryck},
title = {{ACE:} And/Or-parallel Copying-based Execution of Logic Programs},
booktitle = {Logic Programming, Proceedings of the Eleventh International Conference
on Logic Programming, Santa Marherita Ligure, Italy, June 13-18, 1994},
pages = {93--109},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GuptaHPC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/FernandezCH94,
author = {M. J. Fern{\'{a}}ndez and
Manuel Carro and
Manuel V. Hermenegildo},
editor = {Jonas Barklund and
Bharat Jayaraman and
Jiro Tanaka},
title = {{IDRA} (IDeal Resource Allocation): {A} Tool for Computing Ideal Speedups},
booktitle = {Parallel and Data Parallel Execution of Logic Programs, Proceedings
of the Post-ICLP'94 Workshop {W6.} {UPMAIL} Technical Report No. 78,
June 1994},
pages = {107--122},
publisher = {Uppsala University, Computing Science Departent},
year = {1994},
url = {ftp://ftp.csd.uu.se/pub/papers/reports/0078/9-fernandez+carro+hermenegildo.ps.gz},
timestamp = {Mon, 02 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/FernandezCH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/CodishBBH94,
author = {Michael Codish and
Maria J. Garc{\'{\i}}a de la Banda and
Maurice Bruynooghe and
Manuel V. Hermenegildo},
editor = {Frank Pfenning},
title = {Goal Dependent versus Goal Independent Analysis of Logic Programs},
booktitle = {Logic Programming and Automated Reasoning, 5th International Conference,
LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {822},
pages = {305--319},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58216-9\_46},
doi = {10.1007/3-540-58216-9\_46},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/lpar/CodishBBH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/parle/CarrerasLH94,
author = {Carlos Carreras and
Carlos A. L{\'{o}}pez Bario and
Manuel V. Hermenegildo},
editor = {Constantine Halatsis and
Dimitris G. Maritsas and
George Philokyprou and
Sergios Theodoridis},
title = {Analytic Model of a Cache Only Memory Architecture},
booktitle = {{PARLE} '94: Parallel Architectures and Languages Europe, 6th International
{PARLE} Conference, Athens, Greece, July 4-8, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {817},
pages = {336--350},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58184-7\_113},
doi = {10.1007/3-540-58184-7\_113},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/parle/CarrerasLH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pasco/BuenoBH94,
author = {Francisco Bueno and
Maria Garcia de la Banda and
Manuel V. Hermenegildo},
editor = {Hoon Hong},
title = {A Comparative Study of Methods for Automatic Compile-time Parallelization
of Logic Programs},
booktitle = {First International Symposium on Parallel Symbolic Computation, {PASCO}
1994, Hagenberg/Linz, Austria, September 26-28, 1994},
pages = {63--73},
publisher = {World Scientific},
year = {1994},
timestamp = {Tue, 04 Apr 2023 10:49:43 +0200},
biburl = {https://dblp.org/rec/conf/pasco/BuenoBH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pasco/GarciaHD94,
author = {P. Lopez Garcia and
Manuel V. Hermenegildo and
Saumya K. Debray},
editor = {Hoon Hong},
title = {Towards Granularity Based Control of Parallelism in Logic Programs},
booktitle = {First International Symposium on Parallel Symbolic Computation, {PASCO}
1994, Hagenberg/Linz, Austria, September 26-28, 1994},
pages = {133--144},
publisher = {World Scientific},
year = {1994},
timestamp = {Mon, 03 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pasco/GarciaHD94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/MarriottBH94,
author = {Kim Marriott and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
editor = {Hans{-}Juergen Boehm and
Bernard Lang and
Daniel M. Yellin},
title = {Analyzing Logic Programs with Dynamic Scheduling},
booktitle = {Conference Record of POPL'94: 21st {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, Portland, Oregon, USA, January
17-21, 1994},
pages = {240--253},
publisher = {{ACM} Press},
year = {1994},
url = {https://doi.org/10.1145/174675.177883},
doi = {10.1145/174675.177883},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/MarriottBH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppcp/Hermenegildo94,
author = {Manuel V. Hermenegildo},
editor = {Alan Borning},
title = {Some Methodological Issues in the Design of CIAO, a Generic, Parallel
Concurrent Constraint Logic Programming System},
booktitle = {Principles and Practice of Constraint Programming, Second International
Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4,
1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {874},
pages = {123--133},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58601-6\_95},
doi = {10.1007/3-540-58601-6\_95},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/ppcp/Hermenegildo94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppcp/MontanariRBBH94,
author = {Ugo Montanari and
Francesca Rossi and
Francisco Bueno and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
editor = {Alan Borning},
title = {Towards a Concurrent Semantics based Analysis of {CC} and {CLP}},
booktitle = {Principles and Practice of Constraint Programming, Second International
Workshop, PPCP'94, Rosario, Orcas Island, Washington, USA, May 2-4,
1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {874},
pages = {151--161},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58601-6\_97},
doi = {10.1007/3-540-58601-6\_97},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ppcp/MontanariRBBH94.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}
}
@inproceedings{DBLP:conf/sas/GrasH94,
author = {Daniel Cabeza Gras and
Manuel V. Hermenegildo},
editor = {Baudouin Le Charlier},
title = {Extracting Non-Strict Independent And-Parallelism Using Sharing and
Freeness Information},
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 = {297--313},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58485-4\_48},
doi = {10.1007/3-540-58485-4\_48},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/GrasH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/HermenegildoGC94,
author = {Manuel V. Hermenegildo and
Daniel Cabeza Gras and
Manuel Carro},
editor = {Enrico Pontelli and
Gopal Gupta},
title = {Using Attributed Variables in the Implementation of Parallel and Concurrent
Logic Programming Systems},
booktitle = {Proceedings of the {ILPS} 94 Workshop on Design and Implementation
of Parallel Logic Programming Systems, Ithaca, New York, USA, November
18, 1994},
pages = {42--53},
year = {1994},
timestamp = {Wed, 26 Oct 2022 11:14:38 +0200},
biburl = {https://dblp.org/rec/conf/slp/HermenegildoGC94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BuenoBH94,
author = {Francisco Bueno and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
editor = {Maurice Bruynooghe},
title = {Effectiveness of Global Analysis in Strict Independence-Based Automatic
Parallelization},
booktitle = {Logic Programming, Proceedings of the 1994 International Symposium,
Ithaca, New York, USA, November 13-17, 1994},
pages = {320--336},
publisher = {{MIT} Press},
year = {1994},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/BuenoBH94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/plilp/1994,
editor = {Manuel V. Hermenegildo and
Jaan Penjam},
title = {Programming Language Implementation and Logic Programming, 6th International
Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {844},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58402-1},
doi = {10.1007/3-540-58402-1},
isbn = {3-540-58402-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/plilp/1994.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/GuptaHC93,
author = {Gopal Gupta and
Manuel V. Hermenegildo and
V{\'{\i}}tor Santos Costa},
title = {And-Or Parallel Prolog: {A} Recomputation Based Approach},
journal = {New Gener. Comput.},
volume = {11},
number = {3},
pages = {297--321},
year = {1993},
url = {https://doi.org/10.1007/BF03037180},
doi = {10.1007/BF03037180},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/GuptaHC93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/BandaHM93,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo and
Kim Marriott},
editor = {Christian Schulte and
Gert Smolka},
title = {Independence in Constraint Logic Programs},
booktitle = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
Constraint Programming, Budapest, Hungary, June 24-25, 1993},
year = {1993},
timestamp = {Tue, 26 Dec 2017 15:02:23 +0100},
biburl = {https://dblp.org/rec/conf/iclp/BandaHM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CarroGH93,
author = {Manuel Carro and
Luis Manuel G{\'{o}}mez Henr{\'{\i}}quez and
Manuel V. Hermenegildo},
editor = {David Scott Warren},
title = {Some Paradigms for Visualizing Parallel Execution of Logic Programs},
booktitle = {Logic Programming, Proceedings of the Tenth International Conference
on Logic Programming, Budapest, Hungary, June 21-25, 1993},
pages = {184--200},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/CarroGH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MontanariRBGH93,
author = {Ugo Montanari and
Francesca Rossi and
Francisco Bueno and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
editor = {Christian Schulte and
Gert Smolka},
title = {Contextual Nets and Constraint Logic Programming},
booktitle = {Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent
Constraint Programming, Budapest, Hungary, June 24-25, 1993},
year = {1993},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MontanariRBGH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/ShenH93,
author = {Kish Shen and
Manuel V. Hermenegildo},
editor = {Evan Tick and
Giancarlo Succi},
title = {Divided We Stand: Parallel Distributed Stack Memory Management},
booktitle = {Implementations of Logic Programming Systems: Papers from the {ICLP}
1993 Workshops: Practical Implementations and Systems Experience in
Logic Programming Systems - Concurrent, Distributed, and Parallel
Implementations of Logic Programming Systems},
pages = {185--201},
publisher = {Kluwer Academic Publishers, Boston},
year = {1993},
timestamp = {Mon, 02 Dec 2013 17:40:42 +0100},
biburl = {https://dblp.org/rec/conf/iclp/ShenH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/OlmedillaBH93,
author = {M. Olmedilla and
Francisco Bueno and
Manuel V. Hermenegildo},
editor = {Yves Deville},
title = {Automatic Exploitation of Non-Determinate Independent And-Parallelism
in the Basic Andorra Model},
booktitle = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
93, International Workshop on Logic Program Synthesis and Transformation,
Louvain-la-Neuve, Belgium, 7-9 July 1993},
series = {Workshops in Computing},
pages = {177--195},
publisher = {Springer},
year = {1993},
timestamp = {Mon, 10 Feb 2014 17:44:03 +0100},
biburl = {https://dblp.org/rec/conf/lopstr/OlmedillaBH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/CodishMBBH93,
author = {Michael Codish and
Anne Mulkers and
Maurice Bruynooghe and
Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
editor = {David A. Schmidt},
title = {Improving Abstract Interpretations by Combining Domains},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark,
June 14-16, 1993},
pages = {194--205},
publisher = {{ACM}},
year = {1993},
url = {https://doi.org/10.1145/154630.154650},
doi = {10.1145/154630.154650},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/CodishMBBH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BandaHM93,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo and
Kim Marriott},
editor = {Dale Miller},
title = {Independence in Constraint Logic Programs},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {130--146},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Sun, 12 Nov 2017 16:01:30 +0100},
biburl = {https://dblp.org/rec/conf/slp/BandaHM93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/BandaH93,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
editor = {Dale Miller},
title = {A Practical Approach to the Global Analysis of {CLP} Programs},
booktitle = {Logic Programming, Proceedings of the 1993 International Symposium,
Vancouver, British Columbia, Canada, October 26-29, 1993},
pages = {437--455},
publisher = {{MIT} Press},
year = {1993},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/BandaH93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/MuthukumarH92,
author = {Kalyan Muthukumar and
Manuel V. Hermenegildo},
title = {Compile-Time Derivation of Variable Dependency Using Abstract Interpretation},
journal = {J. Log. Program.},
volume = {13},
number = {2{\&}3},
pages = {315--347},
year = {1992},
url = {https://doi.org/10.1016/0743-1066(92)90035-2},
doi = {10.1016/0743-1066(92)90035-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/MuthukumarH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/HermenegildoWD92,
author = {Manuel V. Hermenegildo and
Richard A. Warren and
Saumya K. Debray},
title = {Global Flow Analysis as a Practical Compilation Tool},
journal = {J. Log. Program.},
volume = {13},
number = {4},
pages = {349--366},
year = {1992},
url = {https://doi.org/10.1016/0743-1066(92)90053-6},
doi = {10.1016/0743-1066(92)90053-6},
timestamp = {Fri, 09 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlp/HermenegildoWD92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aifipp/Herenegildo92,
author = {Manuel V. Hermenegildo},
editor = {Jos{\'{e}} Cuena},
title = {The Role of Computational Logic as a Hinge Paradigm among Deduction,
Problem Solving, Programming, and Parallelism},
booktitle = {Knowledge Oriented Software Design, Extended Papers from the {IFIP}
{TC12} Workshop on Artificial Intelligence from the Information Processing
Perspective - {AIFIPP} '92, Madrid, Spain, 14-15 September, 1992},
series = {{IFIP} Transactions},
volume = {{A-27}},
pages = {207--221},
publisher = {North-Holland},
year = {1992},
timestamp = {Wed, 17 Apr 2002 07:51:17 +0200},
biburl = {https://dblp.org/rec/conf/aifipp/Herenegildo92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/BuenoH92,
author = {Francisco Bueno and
Manuel V. Hermenegildo},
title = {An Automatic Translation Scheme from Prolog to the Andorra Kernel
Language},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems. {FGCS} 1992, June 1-5, Tokyo, Japan},
pages = {759--769},
publisher = {{IOS} Press},
year = {1992},
timestamp = {Wed, 31 Jul 2019 10:45:39 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/BuenoH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fgcs/GuptaH92,
author = {Gopal Gupta and
Manuel V. Hermenegildo},
title = {Recomputation based Implementations of And-Or Parallel Prolog},
booktitle = {Proceedings of the International Conference on Fifth Generation Computer
Systems. {FGCS} 1992, June 1-5, Tokyo, Japan},
pages = {770--782},
publisher = {{IOS} Press},
year = {1992},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fgcs/GuptaH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GomezCH92,
author = {Luis Manuel G{\'{o}}mez Henr{\'{\i}}quez and
Manuel Carro and
Manuel V. Hermenegildo},
title = {Implementation of an Event Driven Scheme for Visualizing Parallel
Execution of Logic Programs},
booktitle = {Workshop on Concurrent and Parallel Implementations (sessions {A}
and B), held at IJCSLP'92, Washington, DC, USA, November 1992},
year = {1992},
timestamp = {Mon, 02 Dec 2013 17:40:45 +0100},
biburl = {https://dblp.org/rec/conf/iclp/GomezCH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GuptaHC92,
author = {Gopal Gupta and
Manuel V. Hermenegildo and
V{\'{\i}}tor Santos Costa},
title = {Generalized Stack-copying for And-Or Parallel Execution of Full Prolog},
booktitle = {Workshop on Concurrent and Parallel Implementations (sessions {A}
and B), held at IJCSLP'92, Washington, DC, USA, November 1992},
year = {1992},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GuptaHC92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/KuchenMH92,
author = {Herbert Kuchen and
Juan Jos{\'{e}} Moreno{-}Navarro and
Manuel V. Hermenegildo},
editor = {Maurice Bruynooghe and
Martin Wirsing},
title = {Independent AND-Parallel Implementation of Narrowing},
booktitle = {Programming Language Implementation and Logic Programming, 4th International
Symposium, PLILP'92, Leuven, Belgium, August 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {631},
pages = {24--38},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55844-6\_125},
doi = {10.1007/3-540-55844-6\_125},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/plilp/KuchenMH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BandaH92,
author = {Maria J. Garc{\'{\i}}a de la Banda and
Manuel V. Hermenegildo},
editor = {Michel Billaud and
Pierre Cast{\'{e}}ran and
Marc{-}Michel Corsini and
Kaninda Musumbu and
Antoine Rauzy},
title = {A Practical Application of Sharing and Freeness Inference},
booktitle = {Actes WSA'92 Workshop on Static Analysis (Bordeaux, France), September
1992, Laboratoire Bordelais de Recherche en Informatique (LaBRI),
Proceedings},
series = {Series Bigre},
volume = {81-82},
pages = {118--125},
publisher = {Atelier Irisa, IRISA, Campus de Beaulieu},
year = {1992},
timestamp = {Thu, 12 Jul 2018 08:27:45 +0200},
biburl = {https://dblp.org/rec/conf/sas/BandaH92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/HermenegildoG91,
author = {Manuel V. Hermenegildo and
K. J. Greene},
title = {The {\&}-Prolog System: Exploiting Independent And-Parallelism},
journal = {New Gener. Comput.},
volume = {9},
number = {3/4},
pages = {233--256},
year = {1991},
url = {https://doi.org/10.1007/BF03037164},
doi = {10.1007/BF03037164},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/HermenegildoG91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MuthukumarH91,
author = {Kalyan Muthukumar and
Manuel V. Hermenegildo},
editor = {Koichi Furukawa},
title = {Combined Determination of Sharing and Freeness of Program Variables
through Abstract Interpretation},
booktitle = {Logic Programming, Proceedings of the Eigth International Conference,
Paris, France, June 24-28, 1991},
pages = {49--63},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MuthukumarH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/GuptaH91,
author = {Gopal Gupta and
Manuel V. Hermenegildo},
editor = {Anthony Joseph Beaumont and
Gopal Gupta},
title = {{ACE:} And/Or-parallel Copying-based Execution of Logic Programs},
booktitle = {Parallel Execution of Logic Programs, ICLP'91 Pre-Conference Workshop,
Paris, France, June 24, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {569},
pages = {146--158},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-55038-0\_11},
doi = {10.1007/3-540-55038-0\_11},
timestamp = {Wed, 26 Oct 2022 11:14:38 +0200},
biburl = {https://dblp.org/rec/conf/iclp/GuptaH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/plilp/GiannottiH91,
author = {Fosca Giannotti and
Manuel V. Hermenegildo},
editor = {Jan Maluszynski and
Martin Wirsing},
title = {A Technique for Recursive Invariance Detection and Selective Program
Specification},
booktitle = {Programming Language Implementation and Logic Programming, 3rd International
Symposium, PLILP'91, Passau, Germany, August 26-28, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {528},
pages = {323--334},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/3-540-54444-5\_109},
doi = {10.1007/3-540-54444-5\_109},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/plilp/GiannottiH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/ShenH91,
author = {Kish Shen and
Manuel V. Hermenegildo},
editor = {Vijay A. Saraswat and
Kazunori Ueda},
title = {A Simulation Study of Or- and and Independent And-parallelism},
booktitle = {Logic Programming, Proceedings of the 1991 International Symposium,
San Diego, California, USA, Oct. 28 - Nov 1, 1991},
pages = {135--151},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Wed, 04 Dec 2013 14:42:58 +0100},
biburl = {https://dblp.org/rec/conf/slp/ShenH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/GuptaCYH91,
author = {Gopal Gupta and
V{\'{\i}}tor Santos Costa and
Rong Yang and
Manuel V. Hermenegildo},
editor = {Vijay A. Saraswat and
Kazunori Ueda},
title = {{IDIOM:} Integrating Dependent And-, Independent And-, and Or-parallelism},
booktitle = {Logic Programming, Proceedings of the 1991 International Symposium,
San Diego, California, USA, Oct. 28 - Nov 1, 1991},
pages = {152--166},
publisher = {{MIT} Press},
year = {1991},
timestamp = {Wed, 26 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/slp/GuptaCYH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MuthukumarH90,
author = {Kalyan Muthukumar and
Manuel V. Hermenegildo},
editor = {David H. D. Warren and
P{\'{e}}ter Szeredi},
title = {The DCG, UDG, and {MEL} Methods for Automatic Compile-time Parallelization
of Logic Programs for Independent And-parallelism},
booktitle = {Logic Programming, Proceedings of the Seventh International Conference,
Jerusalem, Israel, June 18-20, 1990},
pages = {221--236},
publisher = {{MIT} Press},
year = {1990},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MuthukumarH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HermenegildoR90,
author = {Manuel V. Hermenegildo and
Francesca Rossi},
editor = {David H. D. Warren and
P{\'{e}}ter Szeredi},
title = {Non-Strict Independent And-Parallelism},
booktitle = {Logic Programming, Proceedings of the Seventh International Conference,
Jerusalem, Israel, June 18-20, 1990},
pages = {237--252},
publisher = {{MIT} Press},
year = {1990},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/HermenegildoR90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HermenegildoG90,
author = {Manuel V. Hermenegildo and
K. J. Greene},
editor = {David H. D. Warren and
P{\'{e}}ter Szeredi},
title = {{\&}-Prolog and its Performance: Exploiting Independent And-Parallelism},
booktitle = {Logic Programming, Proceedings of the Seventh International Conference,
Jerusalem, Israel, June 18-20, 1990},
pages = {253--268},
publisher = {{MIT} Press},
year = {1990},
timestamp = {Fri, 29 Nov 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iclp/HermenegildoG90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pldi/DebrayLH90,
author = {Saumya K. Debray and
Nai{-}Wei Lin and
Manuel V. Hermenegildo},
editor = {Bernard N. Fischer},
title = {Task Granularity Analysis in Logic Programs},
booktitle = {Proceedings of the {ACM} SIGPLAN'90 Conference on Programming Language
Design and Implementation (PLDI), White Plains, New York, USA, June
20-22, 1990},
pages = {174--188},
publisher = {{ACM}},
year = {1990},
url = {https://doi.org/10.1145/93542.93564},
doi = {10.1145/93542.93564},
timestamp = {Fri, 09 Jul 2021 14:03:46 +0200},
biburl = {https://dblp.org/rec/conf/pldi/DebrayLH90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/slp/1990,
editor = {Saumya K. Debray and
Manuel V. Hermenegildo},
title = {Logic Programming, Proceedings of the 1990 North American Conference,
Austin, Texas, USA, October 29 - November 1, 1990},
publisher = {{MIT} Press},
year = {1990},
isbn = {0-262-54058-4},
timestamp = {Wed, 04 Dec 2013 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/1990.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/HermenegildoT89,
author = {Manuel V. Hermenegildo and
Evan Tick},
title = {Memory referencing characteristics and caching performance of AND-Parallel
Prolog on shared-memory multiprocessors},
journal = {New Gener. Comput.},
volume = {7},
number = {1},
pages = {37--58},
year = {1989},
url = {https://doi.org/10.1007/BF03037507},
doi = {10.1007/BF03037507},
timestamp = {Thu, 14 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/HermenegildoT89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/MuthukumarH89,
author = {Kalyan Muthukumar and
Manuel V. Hermenegildo},
editor = {Giorgio Levi and
Maurizio Martelli},
title = {Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted
AND-Parallelism},
booktitle = {Logic Programming, Proceedings of the Sixth International Conference,
Lisbon, Portugal, June 19-23, 1989},
pages = {80--97},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/MuthukumarH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/MuthukumarH89,
author = {Kalyan Muthukumar and
Manuel V. Hermenegildo},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {Determination of Variable Dependence Information through Abstract
Interpretation},
booktitle = {Logic Programming, Proceedings of the North American Conference 1989,
Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes},
pages = {166--185},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Wed, 04 Dec 2013 14:43:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/MuthukumarH89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/slp/HermenegildoR89,
author = {Manuel V. Hermenegildo and
Francesca Rossi},
editor = {Ewing L. Lusk and
Ross A. Overbeek},
title = {On the Correctness and Efficiency of Independent And-Parallelism in
Logic Programs},
booktitle = {Logic Programming, Proceedings of the North American Conference 1989,
Cleveland, Ohio, USA, October 16-20, 1989. 2 Volumes},
pages = {369--389},
publisher = {{MIT} Press},
year = {1989},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/slp/HermenegildoR89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acm/GuzmanH88,
author = {Adolfo Guzm{\'{a}}n and
Manuel V. Hermenegildo},
title = {Constructs and evaluations strategies for intelligent speculative
parallelism - armageddon revisited},
booktitle = {Proceedings of the Sixteenth {ACM} Annual Conference on Computer Science,
Atlanta, Georgia, USA, February 23-25, 1988},
pages = {558--566},
publisher = {{ACM}},
year = {1988},
url = {https://doi.org/10.1145/322609.323126},
doi = {10.1145/322609.323126},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acm/GuzmanH88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/WarrenHD88,
author = {Richard A. Warren and
Manuel V. Hermenegildo and
Saumya K. Debray},
editor = {Robert A. Kowalski and
Kenneth A. Bowen},
title = {On the Practicality of Global Flow Analysis of Logic Programs},
booktitle = {Logic Programming, Proceedings of the Fifth International Conference
and Symposium, Seattle, Washington, USA, August 15-19, 1988 {(2} Volumes)},
pages = {684--699},
publisher = {{MIT} Press},
year = {1988},
timestamp = {Fri, 09 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/WarrenHD88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/HermenegildoT88,
author = {Manuel V. Hermenegildo and
Evan Tick},
title = {Memory Performance of AND-parallel Prolog on Shared-Memory Architectures},
booktitle = {Proceedings of the International Conference on Parallel Processing,
{ICPP} '88, The Pennsylvania State University, University Park, PA,
USA, August 1988. Volume 2: Software},
pages = {17--21},
publisher = {Pennsylvania State University Press},
year = {1988},
timestamp = {Mon, 15 Jun 2015 19:00:07 +0200},
biburl = {https://dblp.org/rec/conf/icpp/HermenegildoT88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigarch/HermenegildoW87,
author = {Manuel V. Hermenegildo and
Richard A. Warren},
title = {Designing a high performance parallel logic programming system},
journal = {{SIGARCH} Comput. Archit. News},
volume = {15},
number = {1},
pages = {43--52},
year = {1987},
url = {https://doi.org/10.1145/25372.25377},
doi = {10.1145/25372.25377},
timestamp = {Fri, 09 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigarch/HermenegildoW87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Hermenegildo87,
author = {Manuel V. Hermenegildo},
editor = {Jean{-}Louis Lassez},
title = {Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel
Execution of Logic Programs},
booktitle = {Logic Programming, Proceedings of the Fourth International Conference,
Melbourne, Victoria, Australia, May 25-29, 1987 {(2} Volumes)},
pages = {556--575},
publisher = {{MIT} Press},
year = {1987},
timestamp = {Fri, 29 Nov 2013 14:57:24 +0100},
biburl = {https://dblp.org/rec/conf/iclp/Hermenegildo87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/es/Hermenegildo86,
author = {Manuel V. Hermenegildo},
title = {An abstract machine based execution model for computer architecture
design and efficient implementation of logic programs in parallel},
school = {Technical University of Madrid, Spain},
year = {1986},
url = {https://oa.upm.es/14975/},
timestamp = {Thu, 16 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/phd/es/Hermenegildo86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/Hermenegildo86,
author = {Manuel V. Hermenegildo},
editor = {Ehud Shapiro},
title = {An Abstract Machine for Restricted AND-Parallel Execution of Logic
Programs},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {25--39},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_62},
doi = {10.1007/3-540-16492-8\_62},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/iclp/Hermenegildo86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/HermenegildoN86,
author = {Manuel V. Hermenegildo and
R. I. Nasr},
editor = {Ehud Shapiro},
title = {Efficient Management of Backtracking in AND-Parallelism},
booktitle = {Third International Conference on Logic Programming, Imperial College
of Science and Technology, London, United Kingdom, July 14-18, 1986,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {225},
pages = {40--54},
publisher = {Springer},
year = {1986},
url = {https://doi.org/10.1007/3-540-16492-8\_63},
doi = {10.1007/3-540-16492-8\_63},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclp/HermenegildoN86.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpp/LipovskiH85,
author = {G. Jack Lipovski and
Manuel V. Hermenegildo},
title = {B-Log: {A} Branch and Bound Methodology for the Parallel Execution
of Logic Programs},
booktitle = {International Conference on Parallel Processing, ICPP'85, University
Park, PA, USA, August 1985},
pages = {560--567},
publisher = {{IEEE} Computer Society Press},
year = {1985},
timestamp = {Mon, 28 Jul 2014 17:06:01 +0200},
biburl = {https://dblp.org/rec/conf/icpp/LipovskiH85.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-02-06 23:53 CET 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:
