![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Manuel V. Hermenegildo
Person information
- affiliation: Universidad Politécnica de Madrid, Spain
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i40]Louis Rustenholz, Pedro López-García, José F. Morales, Manuel V. Hermenegildo:
An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. CoRR abs/2406.18260 (2024) - 2023
- [c197]John P. Gallagher
, Manuel V. Hermenegildo
, José F. Morales
, Pedro López-García
:
Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. LOPSTR 2023: 28-38 - [c196]Daniel Jurjo, José F. Morales, Pedro López-García
, Manuel V. Hermenegildo:
A Rule-Based Approach for Designing and Composing Abstract Domains. LOPSTR 2023: 80-98 - [c195]Daniela Ferreiro, José F. Morales, Salvador Abreu, Manuel V. Hermenegildo:
Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials. ICLP 2023: 324-329 - [p5]Manuel V. Hermenegildo, José F. Morales, Pedro López-García
, Manuel Carro:
Types, Modes and so Much More - The Prolog Way. Prolog: The Next 50 Years 2023: 23-37 - [p4]Manuel V. Hermenegildo, José F. Morales, Pedro López-García
:
Some Thoughts on How to Teach Prolog. Prolog: The Next 50 Years 2023: 107-123 - [p3]José F. Morales, Salvador Abreu
, Daniela Ferreiro, Manuel V. Hermenegildo:
Teaching Prolog with Active Logic Documents. Prolog: The Next 50 Years 2023: 171-183 - [e15]Manuel V. Hermenegildo
, José F. Morales
:
Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings. Lecture Notes in Computer Science 14284, Springer 2023, ISBN 978-3-031-44244-5 [contents] - [e14]David Scott Warren
, Verónica Dahl
, Thomas Eiter
, Manuel V. Hermenegildo
, Robert A. Kowalski
, Francesca Rossi
:
Prolog: The Next 50 Years. Lecture Notes in Computer Science 13900, Springer 2023, ISBN 978-3-031-35253-9 [contents] - 2022
- [j57]Philipp Körner
, Michael Leuschel
, João Barbosa
, Vítor Santos Costa
, Verónica Dahl, Manuel V. Hermenegildo
, José F. Morales
, Jan Wielemaker
, Daniel Diaz
, Salvador Abreu
:
Fifty Years of Prolog and Beyond. Theory Pract. Log. Program. 22(6): 776-858 (2022) - [j56]Agostino Dovier
, Andrea Formisano
, Gopal Gupta
, Manuel V. Hermenegildo
, Enrico Pontelli
, Ricardo Rocha
:
Parallel Logic Programming: A Sequel. Theory Pract. Log. Program. 22(6): 905-973 (2022) - [j55]Emanuele De Angelis
, Fabio Fioravanti
, John P. Gallagher
, Manuel V. Hermenegildo
, Alberto Pettorossi
, Maurizio Proietti
:
Analysis and Transformation of Constrained Horn Clauses for Program Verification. Theory Pract. Log. Program. 22(6): 974-1042 (2022) - [c194]Guillermo García-Pradales, José F. Morales, Manuel V. Hermenegildo, Joaquín Arias, Manuel Carro:
An s(CASP) In-Browser Playground based on Ciao Prolog. ICLP Workshops 2022 - [i39]Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto:
50 Years of Prolog and Beyond. CoRR abs/2201.10816 (2022) - 2021
- [j54]Isabel Garcia-Contreras
, José F. Morales
, Manuel V. Hermenegildo
:
Incremental and Modular Context-sensitive Analysis. Theory Pract. Log. Program. 21(2): 196-243 (2021) - [j53]Pedro López-García
, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo:
A general framework for static profiling of parametric resource usage - CORRIGENDUM. Theory Pract. Log. Program. 21(2): 291 (2021) - [j52]Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras
, Victor Perez-Carrasco, José F. Morales
, Pedro López-García
, Manuel V. Hermenegildo
:
VeriFly: On-the-fly Assertion Checking via Incrementality. Theory Pract. Log. Program. 21(6): 768-784 (2021) - [c193]Bishoksan Kafle, John P. Gallagher
, Manuel V. Hermenegildo, Maximiliano Klemen, Pedro López-García
, José F. Morales
:
Regular Path Clauses and Their Application in Solving Loops. HCVS@ETAPS 2021: 22-35 - [i38]Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo:
VeriFly: On-the-fly Assertion Checking via Incrementality. CoRR abs/2106.07045 (2021) - [i37]Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti:
Analysis and Transformation of Constrained Horn Clauses for Program Verification. CoRR abs/2108.00739 (2021) - [i36]Agostino Dovier, Andrea Formisano, Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Ricardo Rocha:
Parallel Logic Programming: A Sequel. CoRR abs/2111.11218 (2021) - 2020
- [j51]Manuel V. Hermenegildo, Pedro López-García
, Alberto Pettorossi, Maurizio Proietti:
Preface. Fundam. Informaticae 177(3-4) (2020) - [c192]Ignacio Casso
, José F. Morales, Pedro López-García
, Manuel V. Hermenegildo
:
Testing Your (Static Analysis) Truths. LOPSTR 2020: 271-292 - [c191]Victor Perez-Carrasco, Maximiliano Klemen, Pedro López-García
, José Francisco Morales
, Manuel V. Hermenegildo:
Cost Analysis of Smart Contracts Via Parametric Resource Analysis. SAS 2020: 7-31 - [c190]John P. Gallagher
, Manuel V. Hermenegildo, Bishoksan Kafle, Maximiliano Klemen, Pedro López-García, José F. Morales:
From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation. VPT/HCVS@ETAPS 2020: 50-64
2010 – 2019
- 2019
- [c189]Maximiliano Klemen
, Pedro López-García
, John P. Gallagher
, José F. Morales
, Manuel V. Hermenegildo
:
A General Framework for Static Cost Analysis of Parallel Logic Programs. LOPSTR 2019: 19-35 - [c188]Isabel Garcia-Contreras
, José F. Morales
, Manuel V. Hermenegildo
:
Incremental Analysis of Logic Programs with Assertions and Open Predicates. LOPSTR 2019: 36-56 - [c187]Ignacio Casso
, José F. Morales, Pedro López-García
, Roberto Giacobazzi
, Manuel V. Hermenegildo
:
Computing Abstract Distances in Logic Programs. LOPSTR 2019: 57-72 - [c186]Ignacio Casso
, José F. Morales, Pedro López-García
, Manuel V. Hermenegildo
:
An Integrated Approach to Assertion-Based Random Testing in Prolog. LOPSTR 2019: 159-176 - [e13]Manuel V. Hermenegildo, Atsushi Igarashi
:
Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM@POPL 2019, Cascais, Portugal, January 14-15, 2019. ACM 2019, ISBN 978-1-4503-6226-9 [contents] - [i35]Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo:
Computing Abstract Distances in Logic Programs. CoRR abs/1907.13263 (2019) - [i34]Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo:
Towards a General Framework for Static Cost Analysis of Parallel Logic Programs. CoRR abs/1907.13272 (2019) - 2018
- [j50]Nataliia Stulova
, José F. Morales
, Manuel V. Hermenegildo:
Some trade-offs in reducing the overhead of assertion run-time checks via static analysis. Sci. Comput. Program. 155: 3-26 (2018) - [j49]Pedro López-García
, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat
, Francisco Bueno, Manuel V. Hermenegildo:
Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. Theory Pract. Log. Program. 18(2): 167-223 (2018) - [c185]Isabel Garcia-Contreras
, José F. Morales, Manuel V. Hermenegildo:
Towards Incremental and Modular Context-Sensitive Analysis. ICLP (Technical Communications) 2018: 7:1-7:2 - [c184]Maximiliano Klemen, Nataliia Stulova, Pedro López-García
, José F. Morales, Manuel V. Hermenegildo:
Towards Static Performance Guarantees for Programs with Run-Time Checks. ICLP (Technical Communications) 2018: 10:1-10:2 - [c183]Isabel Garcia-Contreras
, José F. Morales
, Manuel V. Hermenegildo:
Multivariant Assertion-Based Guidance in Abstract Interpretation. LOPSTR 2018: 184-201 - [c182]Nataliia Stulova
, José F. Morales
, Manuel V. Hermenegildo
:
Exploiting Term Hiding to Reduce Run-Time Checking Overhead. PADL 2018: 99-115 - [c181]Maximiliano Klemen, Nataliia Stulova
, Pedro López-García
, José F. Morales
, Manuel V. Hermenegildo:
Static Performance Guarantees for Programs with Runtime Checks. PPDP 2018: 13:1-13:13 - [i33]Pedro López-García, Luthfi Darmawan, Maximiliano Klemen, Umer Liqat, Francisco Bueno, Manuel V. Hermenegildo:
Interval-based Resource Usage Verification by Translation into Horn Clauses and an Application to Energy Consumption. CoRR abs/1803.04451 (2018) - [i32]Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo:
An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs. CoRR abs/1804.01839 (2018) - [i31]Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo:
An Approach to Static Performance Guarantees for Programs with Run-time Checks. CoRR abs/1804.02380 (2018) - [i30]Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo:
Multivariant Assertion-based Guidance in Abstract Interpretation. CoRR abs/1808.05197 (2018) - 2017
- [j48]Umer Liqat, Zorana Bankovic, Pedro López-García
, Manuel V. Hermenegildo:
An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors. Log. J. IGPL 25(6): 1006-1019 (2017) - [c180]Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
Towards Run-time Checks Simplification via Term Hiding. ICLP (Technical Communications) 2017: 9:1-9:3 - [c179]Umer Liqat
, Zorana Bankovic, Pedro López-García
, Manuel V. Hermenegildo
:
Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. LOPSTR 2017: 54-72 - [e12]Manuel V. Hermenegildo, Pedro López-García:
Logic-Based Program Synthesis and Transformation - 26th International Symposium, LOPSTR 2016, Edinburgh, UK, September 6-8, 2016, Revised Selected Papers. Lecture Notes in Computer Science 10184, Springer 2017, ISBN 978-3-319-63138-7 [contents] - [i29]Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
Term Hiding and its Impact on Run-time Check Simplification. CoRR abs/1705.06662 (2017) - 2016
- [j47]Kerstin Eder, John P. Gallagher
, Pedro López-García
, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou
, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison
, Maja H. Kirkeby
, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl:
ENTRA: Whole-systems energy transparency. Microprocess. Microsystems 47: 278-286 (2016) - [j46]José F. Morales
, Manuel Carro
, Manuel V. Hermenegildo:
Description and Optimization of Abstract Machines in a Dialect of Prolog. Theory Pract. Log. Program. 16(1): 1-58 (2016) - [j45]Isabel Garcia-Contreras
, José F. Morales
, Manuel V. Hermenegildo:
Semantic code browsing. Theory Pract. Log. Program. 16(5-6): 721-737 (2016) - [j44]Pedro López-García
, Maximiliano Klemen, Umer Liqat
, Manuel V. Hermenegildo:
A general framework for static profiling of parametric resource usage. Theory Pract. Log. Program. 16(5-6): 849-865 (2016) - [c178]Rémy Haemmerlé, Pedro López-García
, Umer Liqat, Maximiliano Klemen, John P. Gallagher
, Manuel V. Hermenegildo:
A Transformational Approach to Parametric Accumulated-Cost Static Profiling. FLOPS 2016: 163-180 - [c177]Nataliia Stulova
, José F. Morales
, Manuel V. Hermenegildo:
Reducing the overhead of assertion run-time checks via static analysis. PPDP 2016: 90-103 - [e11]Ayal Zaks, Manuel V. Hermenegildo:
Proceedings of the 25th International Conference on Compiler Construction, CC 2016, Barcelona, Spain, March 12-18, 2016. ACM 2016, ISBN 978-1-4503-4241-4 [contents] - [i28]Umer Liqat, Zorana Bankovic, Pedro López-García, Manuel V. Hermenegildo:
Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks. CoRR abs/1601.02800 (2016) - [i27]Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou
, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl:
ENTRA: Whole-Systems Energy Transparency. CoRR abs/1606.04074 (2016) - [i26]Manuel V. Hermenegildo, Pedro López-García:
Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016). CoRR abs/1608.02534 (2016) - [i25]Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo:
Semantic Code Browsing. CoRR abs/1608.02565 (2016) - [i24]Pedro López-García, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo:
A General Framework for Static Profiling of Parametric Resource Usage. CoRR abs/1608.02780 (2016) - 2015
- [j43]Nataliia Stulova
, José F. Morales
, Manuel V. Hermenegildo:
Practical run-time checking via unobtrusive property caching. Theory Pract. Log. Program. 15(4-5): 726-741 (2015) - [c176]Umer Liqat, Kyriakos Georgiou
, Steve Kerrison
, Pedro López-García
, John P. Gallagher
, Manuel V. Hermenegildo, Kerstin Eder
:
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. FOPARA 2015: 81-100 - [i23]Francisco Corbera, Andrés Rodríguez, Rafael Asenjo, Angeles G. Navarro, Antonio Vilches, María Jesús Garzarán, Ismat Chaib Draa, Jamel Tayeb, Smaïl Niar, Mikael Desertot, Daniel Gregorek, Robert Schmidt, Alberto García Ortiz, Pedro López-García, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo, Radim Vavrík, Albert Saà-Garriga, David Castells-Rufas, Jordi Carrabina:
Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015. CoRR abs/1501.03064 (2015) - [i22]Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
Practical Run-time Checking via Unobtrusive Property Caching. CoRR abs/1507.05986 (2015) - [i21]Umer Liqat, Kyriakos Georgiou
, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder:
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. CoRR abs/1511.01413 (2015) - [i20]Pedro López-García, Rémy Haemmerlé, Maximiliano Klemen, Umer Liqat, Manuel V. Hermenegildo:
Towards Energy Consumption Verification via Static Analysis. CoRR abs/1512.09369 (2015) - 2014
- [j42]Alejandro Serrano, Pedro López-García
, Manuel V. Hermenegildo
:
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. Theory Pract. Log. Program. 14(4-5): 739-754 (2014) - [c175]José F. Morales
, Manuel V. Hermenegildo
:
Pre-indexed Terms for Prolog. LOPSTR 2014: 317-331 - [c174]Nataliia Stulova
, José F. Morales
, Manuel V. Hermenegildo:
Assertion-based Debugging of Higher-Order (C)LP Programs. PPDP 2014: 225-235 - [i19]Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs. CoRR abs/1404.4246 (2014) - [i18]Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo:
Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. CoRR abs/1405.4256 (2014) - [i17]Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo:
Towards Assertion-based Debugging of Higher-Order (C)LP Programs. CoRR abs/1405.7898 (2014) - [i16]José F. Morales, Manuel Carro, Manuel V. Hermenegildo:
Description and Optimization of Abstract Machines in a Dialect of Prolog. CoRR abs/1411.5573 (2014) - 2013
- [j41]Dragan Ivanovic, Manuel Carro
, Manuel V. Hermenegildo
:
A sharing-based approach to supporting adaptation in service compositions. Computing 95(6): 453-492 (2013) - [j40]Alejandro Serrano, Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo:
Sized Type Analysis for Logic Programs. Theory Pract. Log. Program. 13(4-5-Online-Supplement) (2013) - [c173]Umer Liqat, Steve Kerrison
, Alejandro Serrano, Kyriakos Georgiou
, Pedro López-García
, Neville Grech, Manuel V. Hermenegildo
, Kerstin Eder:
Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. LOPSTR 2013: 72-90 - [c172]Pablo Chico de Guzmán, Manuel Carro
, Manuel V. Hermenegildo
:
Supporting Pruning in Tabled LP. PADL 2013: 60-76 - [c171]Zoé Drey, José F. Morales, Manuel V. Hermenegildo
, Manuel Carro
:
Reversible Language Extensions and Their Application in Debugging. PADL 2013: 206-221 - [i15]Zoé Drey, José F. Morales, Manuel V. Hermenegildo:
Reversible Language Extensions and their Application in Debugging. CoRR abs/1301.7694 (2013) - [i14]Emilio Jesús Gallego Arias, Rémy Haemmerlé, Manuel V. Hermenegildo, José F. Morales:
The Ciao clp(FD) Library. A Modular CLP Extension for Prolog. CoRR abs/1301.7702 (2013) - [i13]Alejandro Serrano, Pedro López-García, Manuel V. Hermenegildo:
Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types. CoRR abs/1308.3940 (2013) - 2012
- [j39]Manuel V. Hermenegildo
, Francisco Bueno, Manuel Carro
, Pedro López-García
, Edison Mera, José F. Morales
, Germán Puebla:
An overview of Ciao and its design philosophy. Theory Pract. Log. Program. 12(1-2): 219-252 (2012) - [j38]Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo
:
Certificate size reduction in abstraction-carrying code. Theory Pract. Log. Program. 12(3): 283-318 (2012) - [j37]José F. Morales
, Rémy Haemmerlé, Manuel Carro
, Manuel V. Hermenegildo
:
Lightweight compilation of (C)LP to JavaScript. Theory Pract. Log. Program. 12(4-5): 755-773 (2012) - [c170]Pablo Chico de Guzmán, Manuel Carro
, Manuel V. Hermenegildo
, Peter J. Stuckey:
A General Implementation Framework for Tabled CLP. FLOPS 2012: 104-119 - [c169]Dragan Ivanovic, Manuel Carro
, Manuel V. Hermenegildo
:
Exploring the impact of inaccuracy and imprecision of QoS assumptions on proactive constraint-based QoS prediction for service orchestrations. PESOS@ICSE 2012: 29-35 - [c168]Dragan Ivanovic, Manuel Carro
, Manuel V. Hermenegildo
:
Analyzing service-oriented systems using their data and structure. S-Cube@ICSE 2012: 47-48 - [c167]Dragan Ivanovic, Manuel Carro
, Manuel V. Hermenegildo:
A Constraint-Based Approach to Quality Assurance in Service Choreographies. ICSOC 2012: 252-267 - [c166]Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro
, Manuel V. Hermenegildo
:
A Segment-Swapping Approach for Executing Trapped Computations. PADL 2012: 138-152 - [i12]José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo:
Lightweight compilation of (C)LP to JavaScript. CoRR abs/1210.2864 (2012) - 2011
- [j36]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
:
Efficient local unfolding with ancestor stacks. Theory Pract. Log. Program. 11(1): 1-32 (2011) - [j35]Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro
, Manuel V. Hermenegildo
:
Parallel backtracking with answer memoing for independent and-parallelism. Theory Pract. Log. Program. 11(4-5): 555-574 (2011) - [c165]Dragan Ivanovic, Manuel Carro
, Manuel V. Hermenegildo
:
Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis. IEEE SCC 2011: 120-127 - [c164]Pedro López-García
, Luthfi Darmawan, Francisco Bueno, Manuel V. Hermenegildo
:
Interval-Based Resource Usage Verification: Formalization and Prototype. FOPARA 2011: 54-71 - [c163]Dragan Ivanovic, Manuel Carro
, Manuel V. Hermenegildo:
Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. ICSOC 2011: 62-76 - [c162]José F. Morales, Manuel V. Hermenegildo
, Rémy Haemmerlé:
Modular Extensions for Modular (Logic) Languages. LOPSTR 2011: 139-154 - [c161]Edison Mera, Teresa Trigo, Pedro López-García
, Manuel V. Hermenegildo:
Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. PADL 2011: 38-53 - [c160]Rémy Haemmerlé, Pedro López-García
, Manuel V. Hermenegildo:
CLP projection for constraint handling rules. PPDP 2011: 137-148 - [c159]Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro
, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales
, Germán Puebla:
An Overview of the Ciao System. RuleML Europe 2011: 2 - [r1]Manuel Carro
, Manuel V. Hermenegildo:
Logic Languages. Encyclopedia of Parallel Computing 2011: 1057-1068 - [i11]Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, German Puebla:
An overview of Ciao and its design philosophy. CoRR abs/1102.5497 (2011) - [i10]Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo:
Parallel Backtracking with Answer Memoing for Independent And-Parallelism. CoRR abs/1107.4724 (2011) - 2010
- [j34]Alex D. Stivala
, Peter J. Stuckey
, Maria Garcia de la Banda
, Manuel V. Hermenegildo
, Anthony Wirth
:
Lock-free parallel dynamic programming. J. Parallel Distributed Comput. 70(8): 839-848 (2010) - [j33]Pedro López-García
, Francisco Bueno, Manuel V. Hermenegildo:
Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses. New Gener. Comput. 28(2): 177-206 (2010) - [j32]Manuel V. Hermenegildo
, Torsten Schaub
:
Introduction to the 26th international conference on logic programming special issue. Theory Pract. Log. Program. 10(4-6): 361-364 (2010) - [c158]Manuel V. Hermenegildo, Torsten Schaub:
Titlepage, Table of Contents, Conference Organization. ICLP (Technical Communications) 2010 - [c157]Manuel V. Hermenegildo, Torsten Schaub:
Introduction to the Technical Communications of the 26th International Conference on Logic Programming. ICLP (Technical Communications) 2010 - [c156]Dragan Ivanovic, Manuel Carro
, Manuel V. Hermenegildo:
Automatic Fragment Identification in Workflows Based on Sharing Analysis. ICSOC 2010: 350-364 - [c155]Dragan Ivanovic, Manuel Carro
, Manuel V. Hermenegildo
:
Towards Data-Aware QoS-driven Adaptation for Service Orchestrations. ICWS 2010: 107-114 - [e10]Manuel V. Hermenegildo, Torsten Schaub:
Technical Communications of the 26th International Conference on Logic Programming, ICLP 2010, July 16-19, 2010, Edinburgh, Scotland, UK. LIPIcs 7, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2010, ISBN 978-3-939897-17-0 [contents] - [e9]Manuel V. Hermenegildo, Jens Palsberg:
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010. ACM 2010, ISBN 978-1-60558-479-9 [contents] - [e8]Gilles Barthe
, Manuel V. Hermenegildo:
Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings. Lecture Notes in Computer Science 5944, Springer 2010, ISBN 978-3-642-11318-5 [contents] - [i9]Francisco Bueno, Jorge A. Navas, Manuel V. Hermenegildo:
Towards Parameterized Regular Type Inference Using Set Constraints. CoRR abs/1002.1836 (2010) - [i8]Manuel V. Hermenegildo, Torsten Schaub:
Introduction to the 26th International Conference on Logic Programming Special Issue. CoRR abs/1008.1710 (2010) - [i7]Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo:
Certificate size reduction in Abstraction-Carrying Code. CoRR abs/1010.4533 (2010)
2000 – 2009
- 2009
- [j31]Daniel Cabeza Gras, Manuel V. Hermenegildo
:
Non-strict independence-based program parallelization using sharing and freeness information. Theor. Comput. Sci. 410(46): 4704-4723 (2009) - [c154]Pablo Chico de Guzmán, Manuel Carro
, Manuel V. Hermenegildo:
A Tabling Implementation Based on Variables with Multiple Bindings. ICLP 2009: 190-204 - [c153]Edison Mera, Pedro López-García
, Manuel V. Hermenegildo
:
Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. ICLP 2009: 281-295 - [c152]Dragan Ivanovic, Manuel Carro
, Manuel V. Hermenegildo:
An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring. ICSOC/ServiceWave Workshops 2009: 414-424 - [c151]Mark Marron, Deepak Kapur, Manuel V. Hermenegildo:
Identification of logically related heap regions. ISMM 2009: 89-98 - [c150]Leonardo Scandolo
, César Kunz, Manuel V. Hermenegildo
:
Program Parallelization Using Synchronized Pipelining. LOPSTR 2009: 173-187 - [c149]Pablo Chico de Guzmán, Manuel Carro
, Manuel V. Hermenegildo:
Towards a Complete Scheme for Tabled Execution Based on Program Transformation. PADL 2009: 224-238 - [c148]Jorge A. Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo:
User-Definable Resource Usage Bounds Analysis for Java Bytecode. BYTECODE@ETAPS 2009: 65-82 - [i6]Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo:
A Program Transformation for Continuation Call-Based Tabled Execution. CoRR abs/0901.3906 (2009) - [i5]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo:
Efficient Local Unfolding with Ancestor Stacks. CoRR abs/0911.4047 (2009) - 2008
- [j30]Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
:
Abstraction-Carrying Code: a Model for Mobile Code Safety. New Gener. Comput. 26(2): 171-204 (2008) - [c147]Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro
, Pedro López-García, José F. Morales
, Germán Puebla:
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. Concurrency, Graphs and Models 2008: 209-237 - [c146]Mark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic:
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. CC 2008: 245-259 - [c145]Eric D. Trias, Jorge A. Navas, Elena S. Ackley, Stephanie Forrest
, Manuel V. Hermenegildo
:
Negative Ternary Set-Sharing. ICLP 2008: 301-316 - [c144]Amadeo Casas, Manuel Carro
, Manuel V. Hermenegildo
:
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. ICLP 2008: 651-666 - [c143]Pablo Chico de Guzmán, Manuel Carro
, Manuel V. Hermenegildo:
A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. ICLP 2008: 795-800 - [c142]Mario Méndez-Lojo, Ondrej Lhoták, Manuel V. Hermenegildo
:
Efficient Set Sharing Using ZBDDs. LCPC 2008: 47-63 - [c141]Mark Marron, Darko Stefanovic, Deepak Kapur, Manuel V. Hermenegildo
:
Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. LCPC 2008: 94-108 - [c140]Pablo Chico de Guzmán, Manuel Carro
, Manuel V. Hermenegildo, Cláudio Silva, Ricardo Rocha
:
An Improved Continuation Call-Based Implementation of Tabling. PADL 2008: 197-213 - [c139]Amadeo Casas, Manuel Carro
, Manuel V. Hermenegildo:
Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. PADL 2008: 230-247 - [c138]Mark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur:
Sharing analysis of arrays, collections, and recursive structures. PASTE 2008: 43-49 - [c137]Pawel Pietrzak, Jesús Correas
, Germán Puebla, Manuel V. Hermenegildo
:
A practical type analysis for verification of modular prolog programs. PEPM 2008: 61-70 - [c136]José F. Morales, Manuel Carro
, Manuel V. Hermenegildo:
Comparing tag scheme variations using an abstract machine generator. PPDP 2008: 32-43 - [c135]Edison Mera, Pedro López-García, Manuel Carro
, Manuel V. Hermenegildo:
Towards execution time estimation in abstract machine-based languages. PPDP 2008: 174-184 - [c134]Mario Méndez-Lojo, Manuel V. Hermenegildo:
Precise Set Sharing Analysis for Java-Style Programs. VMCAI 2008: 172-187 - [e7]Jacques Garrigue, Manuel V. Hermenegildo:
Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings. Lecture Notes in Computer Science 4989, Springer 2008, ISBN 978-3-540-78968-0 [contents] - 2007
- [c133]Pawel Pietrzak, Manuel V. Hermenegildo
:
Automatic Binding-Related Error Diagnosis in Logic Programs. ICLP 2007: 333-347 - [c132]Jorge A. Navas, Edison Mera, Pedro López-García
, Manuel V. Hermenegildo
:
User-Definable Resource Bounds Analysis for Logic Programs. ICLP 2007: 348-363 - [c131]Amadeo Casas, Manuel Carro
, Manuel V. Hermenegildo:
Towards a high-level implementation of flexible parallelism primitives for symbolic languages. PASCO 2007: 93-94 - [c130]Amadeo Casas, Manuel Carro
, Manuel V. Hermenegildo
:
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. LOPSTR 2007: 138-153 - [c129]Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo
:
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs. LOPSTR 2007: 154-168 - [c128]Edison Mera, Pedro López-García
, Germán Puebla, Manuel Carro
, Manuel V. Hermenegildo:
Combining Static Analysis and Profiling for Estimating Execution Times. PADL 2007: 140-154 - [c127]Mark Marron, Darko Stefanovic, Manuel V. Hermenegildo
, Deepak Kapur:
Heap analysis in the presence of collection libraries. PASTE 2007: 31-36 - [c126]Manuel V. Hermenegildo:
Automatic granularity-aware parallelization of programs with predicates, functions, and constraints: invited talk. DAMP 2007: 1 - [c125]Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo:
An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. Bytecode@ETAPS 2007: 51-66 - [i4]Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo:
Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling. CoRR abs/cs/0701108 (2007) - 2006
- [c124]Manuel Carro
, José F. Morales, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo:
High-level languages for small devices: a case study. CASES 2006: 271-281 - [c123]Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo:
A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. FLOPS 2006: 146-162 - [c122]Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo
:
Reduced Certificates for Abstraction-Carrying Code. ICLP 2006: 163-178 - [c121]Edison Mera, Pedro López-García
, Germán Puebla, Manuel Carro
, Manuel V. Hermenegildo
:
Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. ICLP 2006: 431-432 - [c120]Mark Marron, Deepak Kapur, Darko Stefanovic, Manuel V. Hermenegildo
:
A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework. LCPC 2006: 345-363 - [c119]José F. Morales
, Manuel Carro
, Manuel V. Hermenegildo
:
Towards Description and Optimization of Abstract Machines in an Extension of Prolog. LOPSTR 2006: 77-93 - [c118]Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo
:
Context-Sensitive Multivariant Assertion Checking in Modular Programs. LPAR 2006: 392-406 - [c117]Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo:
Efficient Top-Down Set-Sharing Analysis Using Cliques. PADL 2006: 183-198 - [c116]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo:
Abstract Interpretation with Specialized Definitions. SAS 2006: 107-126 - 2005
- [j29]Manuel V. Hermenegildo
, Germán Puebla, Francisco Bueno, Pedro López-García
:
Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). Sci. Comput. Program. 58(1-2): 115-140 (2005) - [c115]José F. Morales
, Manuel Carro
, Germán Puebla, Manuel V. Hermenegildo
:
A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. ICLP 2005: 21-36 - [c114]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
:
A Generic Framework for the Analysis and Specialization of Logic Programs. ICLP 2005: 407-409 - [c113]Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo
:
Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. LOPSTR 2005: 80-97 - [c112]Jesús Correas
, Germán Puebla, Manuel V. Hermenegildo
, Francisco Bueno:
Experiments in Context-Sensitive Analysis of Modular Programs. LOPSTR 2005: 163-178 - [c111]Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo:
A Study of Set-Sharing Analysis via Clique. WLPE 2005: 31-45 - [c110]Germán Puebla, Manuel V. Hermenegildo, Elvira Albert:
A Generic Framework for the Analysis and Specialization of Logic Programs. WLPE 2005: 61-76 - [c109]Manuel V. Hermenegildo, Elvira Albert, Pedro López-García
, Germán Puebla:
Abstraction carrying code and resource-awareness. PPDP 2005: 1-11 - [e6]Manuel V. Hermenegildo, Daniel Cabeza:
Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings. Lecture Notes in Computer Science 3350, Springer 2005, ISBN 3-540-24362-3 [contents] - [i3]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo:
A Generic Framework for the Analysis and Specialization of Logic Programs. CoRR abs/cs/0508111 (2005) - [i2]Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo:
A study of set-sharing analysis via cliques. CoRR abs/cs/0508112 (2005) - 2004
- [c108]Daniel Cabeza, Manuel V. Hermenegildo, James Lipton:
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. ASIAN 2004: 93-108 - [c107]Manuel V. Hermenegildo, Elvira Albert, Pedro López-García
, Germán Puebla:
Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System. Euro-Par 2004: 21-36 - [c106]Francisco Bueno, Pedro López-García
, Manuel V. Hermenegildo:
Multivariant Non-failure Analysis via Standard Abstract Interpretation. FLOPS 2004: 100-116 - [c105]Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
:
Abstract Interpretation-Based Mobile Code Certification. ICLP 2004: 446-447 - [c104]Pedro López-García
, Francisco Bueno, Manuel V. Hermenegildo
:
Determinacy Analysis for Logic Programs Using Mode and Type Information. LOPSTR 2004: 19-35 - [c103]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
:
Efficient Local Unfolding with Ancestor Stacks for Full Prolog. LOPSTR 2004: 149-165 - [c102]Elvira Albert, Germán Puebla, Manuel V. Hermenegildo:
Abstraction-Carrying Code. LPAR 2004: 380-397 - [c101]José F. Morales
, Manuel Carro
, Manuel V. Hermenegildo:
Improved Compilation of Prolog to C Using Moded Types and Determinism Information. PADL 2004: 86-103 - [c100]Jesús Correas, José M. Gómez, Manuel Carro
, Daniel Cabeza, Manuel V. Hermenegildo:
A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). PADL 2004: 104-119 - [c99]Elvira Albert, Germán Puebla, Manuel V. Hermenegildo:
Experiments in abstract interpretation-based code certification for pervasive systems. SMC (2) 2004: 1125-1130 - [c98]Elvira Albert, Germán Puebla, Manuel V. Hermenegildo:
An Abstract Interpretation-based Approach to Mobile Code Safety. COCV@ETAPS 2004: 113-129 - [p2]Germán Puebla, Jesús Correas, Manuel V. Hermenegildo, Francisco Bueno, Maria J. García de la Banda, Kim Marriott, Peter J. Stuckey:
A Generic Framework for Context-Sensitive Analysis of Modular Programs. Program Development in Computational Logic 2004: 233-260 - 2003
- [c97]Jesús Correas
, José M. Gómez, Manuel Carro
, Daniel Cabeza Gras, Manuel V. Hermenegildo
:
A Generic Persistence Model for (C)LP Systems. ICLP 2003: 481-482 - [c96]Germán Puebla, Manuel V. Hermenegildo:
Abstract specialization and its applications. PEPM 2003: 29-43 - [c95]Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
:
Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). SAS 2003: 127-152 - [i1]Daniel Cabeza, Manuel V. Hermenegildo:
Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library. CoRR cs.DC/0312031 (2003) - 2002
- [c94]Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
:
Abstract Verification and Debugging of Constraint Logic Programs. International Workshop on Constraint Solving and Constraint Logic Programming 2002: 1-14 - [c93]Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García:
Program Debugging and Validation Using Semantic Approximations and Partial Specifications. ICALP 2002: 69-72 - [e5]Manuel V. Hermenegildo, Germán Puebla:
Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings. Lecture Notes in Computer Science 2477, Springer 2002, ISBN 3-540-44235-9 [contents] - 2001
- [j28]Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo
:
Parallel execution of prolog programs: a survey. ACM Trans. Program. Lang. Syst. 23(4): 472-602 (2001) - [j27]Leon Sterling, Lee Naish, Manuel V. Hermenegildo:
Guest editor's introduction Special issue on Logic Programming and the Internet. Theory Pract. Log. Program. 1(3): 249-250 (2001) - [j26]Daniel Cabeza Gras, Manuel V. Hermenegildo:
Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library. Theory Pract. Log. Program. 1(3): 251-282 (2001) - [c92]Susana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo:
Efficient Negation Using Abstract Interpretation. LPAR 2001: 485-494 - 2000
- [j25]Manuel V. Hermenegildo
:
Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming. Parallel Comput. 26(13-14): 1685-1708 (2000) - [j24]Manuel V. Hermenegildo
, Germán Puebla, Kim Marriott, Peter J. Stuckey:
Incremental analysis of constraint logic programs. ACM Trans. Program. Lang. Syst. 22(2): 187-223 (2000) - [j23]Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott:
Independence in CLP languages. ACM Trans. Program. Lang. Syst. 22(2): 296-339 (2000) - [c91]Daniel Cabeza Gras, Manuel V. Hermenegildo:
A New Module System for Prolog. Computational Logic 2000: 131-148 - [c90]Manuel V. Hermenegildo:
A Documentation Generator for (C)LP Systems. Computational Logic 2000: 1345-1361 - [c89]Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski:
Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction. Analysis and Visualization Tools for Constraint Programming 2000: 1-20 - [c88]Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo:
An Assertion Language for Constraint Logic Programs. Analysis and Visualization Tools for Constraint Programming 2000: 23-62 - [c87]Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo:
A Generic Processor for Program Validation and Debugging. Analysis and Visualization Tools for Constraint Programming 2000: 63-107 - [c86]Manuel Carro, Manuel V. Hermenegildo:
Tools for Search-Tree Visualisation: The APT Tool. Analysis and Visualization Tools for Constraint Programming 2000: 237-252 - [c85]Manuel Carro, Manuel V. Hermenegildo:
Tools for Constraint Visualisation: The VIFID/TRIFID Tool. Analysis and Visualization Tools for Constraint Programming 2000: 253-272 - [c84]Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey:
A model for inter-module analysis and optimizing compilation. LOPSTR 2000 - [c83]Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott, Germán Puebla, Peter J. Stuckey:
A Model for Inter-module Analysis and Optimizing Compilation. LOPSTR (LNCS 2042: Selected Papers) 2000: 86-102 - [c82]Carlos Carreras
, Manuel V. Hermenegildo:
Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions. SARA 2000: 107-123 - [e4]Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski:
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project). Lecture Notes in Computer Science 1870, Springer 2000, ISBN 3-540-41137-2 [contents]
1990 – 1999
- 1999
- [j22]Kalyan Muthukumar, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
:
Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism. J. Log. Program. 38(2): 165-218 (1999) - [j21]Germán Puebla, Manuel V. Hermenegildo
:
Abstract Multiple Specialization and Its Application to Program Parallelization. J. Log. Program. 41(2-3): 279-316 (1999) - [j20]Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
:
Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. ACM Trans. Program. Lang. Syst. 21(2): 189-239 (1999) - [c81]Manuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro López-García:
Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. ICLP 1999: 52-66 - [c80]Manuel Carro, Manuel V. Hermenegildo:
Concurrency in Prolog Using Threads and a Shared Database. ICLP 1999: 320-334 - [c79]Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
:
Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. LOPSTR 1999: 273-292 - [c78]Germán Puebla, Manuel V. Hermenegildo, John P. Gallagher:
An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. PEPM 1999: 75-84 - [c77]Daniel Cabeza Gras, Manuel V. Hermenegildo:
The Ciao Module System: A New Module System for Prolog. Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP 1999: 122-142 - [c76]Daniel Cabeza Gras, Manuel V. Hermenegildo:
The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library. Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP 1999: 144-162 - [c75]Germán Puebla, Manuel V. Hermenegildo:
Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. WOID@ICLP 1999: 163-187 - [c74]Manuel V. Hermenegildo:
A System for Automatically Generating Documentation for (C)LP Programs. WLPE@ICLP 1999: 289-307 - [p1]Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno:
Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging. The Logic Programming Paradigm 1999: 161-192 - 1998
- [j19]Francisco Bueno, Manuel V. Hermenegildo
, Ugo Montanari, Francesca Rossi:
Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs. Sci. Comput. Program. 30(1-2): 51-82 (1998) - [c73]Manuel Carro, Manuel V. Hermenegildo:
Some Design Issues in the Visualization of Constraint Logic Program Execution. APPIA-GULP-PRODE 1998: 71-86 - [c72]Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo:
A Framework for Assertion-Based Debugging in Constraint Logic Programming. CP 1998: 472 - 1997
- [j18]Manuel V. Hermenegildo
:
Some Challenges for Constraint Programming. Constraints An Int. J. 2(1): 63-69 (1997) - [j17]Michael Codish, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
:
Exploiting Goal Independence in the Analysis of Logic Programs. J. Log. Program. 32(3): 247-261 (1997) - [c71]Francisco Bueno, Pierre Deransart, Wlodzimierz Drabent, Gérard Ferrand, Manuel V. Hermenegildo, Jan Maluszynski, Germán Puebla:
On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. AADEBUG 1997: 155-169 - [c70]Manuel V. Hermenegildo:
Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming. Euro-Par 1997: 31-45 - [c69]Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo:
Non-Failure Analysis for Logic Programs. ICLP 1997: 48-62 - [c68]Manuel V. Hermenegildo:
Programming with Global Analysis (Abstract). ILPS 1997: 49-50 - [c67]Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin:
Lower Bound Cost Estimation for Logic Programs. ILPS 1997: 291-305 - 1996
- [j16]Enrico Pontelli, Gopal Gupta, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo
:
Improving the Efficiency of Nondeterministic Independent and-Parallel Systems. Comput. Lang. 22(2/3): 115-142 (1996) - [j15]Manuel V. Hermenegildo
, Manuel Carro:
Relating Data-Parallelism and (and-) Parallelism in Logic Programs. Comput. Lang. 22(2/3): 143-163 (1996) - [j14]Manuel V. Hermenegildo:
Some cCallenges for Constraint Programming. ACM Comput. Surv. 28(4es): 64 (1996) - [j13]Kish Shen, Manuel V. Hermenegildo
:
High-level characteristics of or- and independent and-parallelism in prolog. Int. J. Parallel Program. 24(5): 433-478 (1996) - [j12]Pedro López-García, Manuel V. Hermenegildo
, Saumya K. Debray:
A Methodology for Granularity-Based Control of Parallelism in Logic Programs. J. Symb. Comput. 21(4): 715-734 (1996) - [j11]Maria J. García de la Banda, Manuel V. Hermenegildo
, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens:
Global Analysis of Constraint Logic Programs. ACM Trans. Program. Lang. Syst. 18(5): 564-614 (1996) - [c66]Daniel Cabeza, Manuel V. Hermenegildo:
Implementing Distributed Concurrent Constraint Execution in the CIAO System. APPIA-GULP-PRODE 1996: 67-78 - [c65]Manuel V. Hermenegildo, Francisco Bueno, Daniel Cabeza, Manuel Carro, Maria J. García de la Banda, Pedro López-García, Germán Puebla:
The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. APPIA-GULP-PRODE 1996: 105-110 - [c64]Maria J. García de la Banda
, Manuel V. Hermenegildo, Kim Marriott:
Independence in Dynamically Scheduled Logic Languages. ALP 1996: 47-61 - [c63]Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla:
Global Analysis of Standard Prolog Programs. ESOP 1996: 108-124 - [c62]Kish Shen, Manuel V. Hermenegildo:
Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs. Euro-Par, Vol. II 1996: 635-639 - [c61]M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo:
IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming. Euro-Par, Vol. II 1996: 724-733 - [c60]Germán Puebla, Manuel V. Hermenegildo:
Abstract Specialization and Its Application to Program Parallelization. LOPSTR 1996: 169-186 - [c59]Maria J. García de la Banda
, Francisco Bueno, Manuel V. Hermenegildo:
Towards Independent And-Parallelism in CLP. PLILP 1996: 77-91 - [c58]Germán Puebla, Manuel V. Hermenegildo:
Automatic Optimization of Dynamic Scheduling in Logic Programs. PLILP 1996: 475-476 - [c57]Germán Puebla, Manuel V. Hermenegildo:
Optimized Algorithms for Incremental Analysis of Logic Programs. SAS 1996: 270-284 - 1995
- [j10]Manuel V. Hermenegildo
, Francesca Rossi:
Strict and Nonstrict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions. J. Log. Program. 22(1): 1-45 (1995) - [j9]Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo
, Michael J. Maher:
Guest Editors' Introduction: Special Section: Ten Years of Logic Programming. J. Log. Program. 23(2): 87-88 (1995) - [j8]Michael Codish
, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda
, Manuel V. Hermenegildo
:
Improving Abstract Interpretations by Combining Domains. ACM Trans. Program. Lang. Syst. 17(1): 28-44 (1995) - [c56]Manuel V. Hermenegildo, Manuel Carro:
Relating Data-Parallelism and (And-) Parallelism in Logic Programs. Euro-Par 1995: 27-41 - [c55]Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro:
Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. ICLP 1995: 631-645 - [c54]Manuel V. Hermenegildo, Pedro López-García:
Efficient Term Size Computation for Granularity Control. ICLP 1995: 647-661 - [c53]Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey:
Incremental Analysis of Logic Programs. ICLP 1995: 797-811 - [c52]Enrico Pontelli
, Gopal Gupta, Manuel V. Hermenegildo
:
&ACE: a high-performance parallel Prolog system. IPPS 1995: 564-571 - [c51]Germán Puebla, Manuel V. Hermenegildo
:
Implementation of Multiple Specialization in Logic Programs. PEPM 1995: 77-87 - [e3]Manuel V. Hermenegildo, S. Doaitse Swierstra:
Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings. Lecture Notes in Computer Science 982, Springer 1995, ISBN 3-540-60359-X [contents] - 1994
- [j7]Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher:
Guest Editor's Introduction. J. Log. Program. 19/20: 1-3 (1994) - [c50]Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi:
From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. ALP 1994: 114-132 - [c49]Manuel V. Hermenegildo, Manuel Carro:
A Note on Data-Parallelism and (And-Parallel) Prolog. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 49-64 - [c48]Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo:
&ACE: the And-parallel Component of ACE (A Progress Report on ACE). ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 65-78 - [c47]Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa:
ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP 1994: 93-109 - [c46]M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo:
IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups. ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs 1994: 107-122 - [c45]Michael Codish, Maria J. García de la Banda, Maurice Bruynooghe, Manuel V. Hermenegildo:
Goal Dependent versus Goal Independent Analysis of Logic Programs. LPAR 1994: 305-319 - [c44]Carlos Carreras
, Carlos A. López Bario, Manuel V. Hermenegildo:
Analytic Model of a Cache Only Memory Architecture. PARLE 1994: 336-350 - [c43]Francisco Bueno, Maria Garcia de la Banda, Manuel V. Hermenegildo:
A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic Programs. PASCO 1994: 63-73 - [c42]P. Lopez Garcia, Manuel V. Hermenegildo, Saumya K. Debray:
Towards Granularity Based Control of Parallelism in Logic Programs. PASCO 1994: 133-144 - [c41]Kim Marriott, Maria J. García de la Banda, Manuel V. Hermenegildo:
Analyzing Logic Programs with Dynamic Scheduling. POPL 1994: 240-253 - [c40]Manuel V. Hermenegildo:
Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming System. PPCP 1994: 123-133 - [c39]Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo:
Towards a Concurrent Semantics based Analysis of CC and CLP. PPCP 1994: 151-161 - [c38]Saumya K. Debray, Pedro López-García
, Manuel V. Hermenegildo, Nai-Wei Lin:
Estimating the Computational Cost of Logic Programs. SAS 1994: 255-265 - [c37]Daniel Cabeza Gras, Manuel V. Hermenegildo:
Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information. SAS 1994: 297-313 - [c36]Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro:
Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems. Workshop on Design and Impl. of Parallel Logic Programming Systems 1994: 42-53 - [c35]Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo:
Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. ILPS 1994: 320-336 - [e2]Manuel V. Hermenegildo, Jaan Penjam:
Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings. Lecture Notes in Computer Science 844, Springer 1994, ISBN 3-540-58402-1 [contents] - 1993
- [j6]Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa
:
And-Or Parallel Prolog: A Recomputation Based Approach. New Gener. Comput. 11(3): 297-321 (1993) - [c34]Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott:
Independence in Constraint Logic Programs. ICLP Workshop on Concurrent Constraint Programming 1993 - [c33]Manuel Carro, Luis Manuel Gómez Henríquez, Manuel V. Hermenegildo:
Some Paradigms for Visualizing Parallel Execution of Logic Programs. ICLP 1993: 184-200 - [c32]Ugo Montanari, Francesca Rossi, Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo:
Contextual Nets and Constraint Logic Programming. ICLP Workshop on Concurrent Constraint Programming 1993 - [c31]Kish Shen, Manuel V. Hermenegildo:
Divided We Stand: Parallel Distributed Stack Memory Management. ICLP-Workshops on Implementation of Logic Programming Systems 1993: 185-201 - [c30]M. Olmedilla, Francisco Bueno, Manuel V. Hermenegildo:
Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. LOPSTR 1993: 177-195 - [c29]Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
:
Improving Abstract Interpretations by Combining Domains. PEPM 1993: 194-205 - [c28]Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott:
Independence in Constraint Logic Programs. ILPS 1993: 130-146 - [c27]Maria J. García de la Banda, Manuel V. Hermenegildo:
A Practical Approach to the Global Analysis of CLP Programs. ILPS 1993: 437-455 - 1992
- [j5]Kalyan Muthukumar, Manuel V. Hermenegildo
:
Compile-Time Derivation of Variable Dependency Using Abstract Interpretation. J. Log. Program. 13(2&3): 315-347 (1992) - [j4]Manuel V. Hermenegildo
, Richard A. Warren, Saumya K. Debray:
Global Flow Analysis as a Practical Compilation Tool. J. Log. Program. 13(4): 349-366 (1992) - [c26]Manuel V. Hermenegildo:
The Role of Computational Logic as a Hinge Paradigm among Deduction, Problem Solving, Programming, and Parallelism. AIFIPP 1992: 207-221 - [c25]Francisco Bueno, Manuel V. Hermenegildo:
An Automatic Translation Scheme from Prolog to the Andorra Kernel Language. FGCS 1992: 759-769 - [c24]Gopal Gupta, Manuel V. Hermenegildo:
Recomputation based Implementations of And-Or Parallel Prolog. FGCS 1992: 770-782 - [c23]Luis Manuel Gómez Henríquez, Manuel Carro, Manuel V. Hermenegildo:
Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs. IJCSLP Workshop on Concurrent and Parallel Implementations 1992 - [c22]Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa:
Generalized Stack-copying for And-Or Parallel Execution of Full Prolog. IJCSLP Workshop on Concurrent and Parallel Implementations 1992 - [c21]Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo:
Independent AND-Parallel Implementation of Narrowing. PLILP 1992: 24-38 - [c20]Maria J. García de la Banda, Manuel V. Hermenegildo:
A Practical Application of Sharing and Freeness Inference. WSA 1992: 118-125 - 1991
- [j3]Manuel V. Hermenegildo, K. J. Greene:
The &-Prolog System: Exploiting Independent And-Parallelism. New Gener. Comput. 9(3/4): 233-256 (1991) - [c19]Kalyan Muthukumar, Manuel V. Hermenegildo:
Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation. ICLP 1991: 49-63 - [c18]Gopal Gupta, Manuel V. Hermenegildo:
ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP Workshop on Parallel Execution of Logic Programs 1991: 146-158 - [c17]Fosca Giannotti, Manuel V. Hermenegildo:
A Technique for Recursive Invariance Detection and Selective Program Specification. PLILP 1991: 323-334 - [c16]Kish Shen, Manuel V. Hermenegildo:
A Simulation Study of Or- and and Independent And-parallelism. ISLP 1991: 135-151 - [c15]Gopal Gupta, Vítor Santos Costa, Rong Yang, Manuel V. Hermenegildo:
IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism. ISLP 1991: 152-166 - 1990
- [c14]Kalyan Muthukumar, Manuel V. Hermenegildo:
The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism. ICLP 1990: 221-236 - [c13]Manuel V. Hermenegildo, Francesca Rossi:
Non-Strict Independent And-Parallelism. ICLP 1990: 237-252 - [c12]Manuel V. Hermenegildo, K. J. Greene:
&-Prolog and its Performance: Exploiting Independent And-Parallelism. ICLP 1990: 253-268 - [c11]Saumya K. Debray, Nai-Wei Lin, Manuel V. Hermenegildo:
Task Granularity Analysis in Logic Programs. PLDI 1990: 174-188 - [e1]Saumya K. Debray, Manuel V. Hermenegildo:
Logic Programming, Proceedings of the 1990 North American Conference, Austin, Texas, USA, October 29 - November 1, 1990. MIT Press 1990, ISBN 0-262-54058-4 [contents]
1980 – 1989
- 1989
- [j2]Manuel V. Hermenegildo, Evan Tick:
Memory referencing characteristics and caching performance of AND-Parallel Prolog on shared-memory multiprocessors. New Gener. Comput. 7(1): 37-58 (1989) - [c10]Kalyan Muthukumar, Manuel V. Hermenegildo:
Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism. ICLP 1989: 80-97 - [c9]Kalyan Muthukumar, Manuel V. Hermenegildo:
Determination of Variable Dependence Information through Abstract Interpretation. NACLP 1989: 166-185 - [c8]Manuel V. Hermenegildo, Francesca Rossi:
On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs. NACLP 1989: 369-389 - 1988
- [c7]Adolfo Guzmán
, Manuel V. Hermenegildo
:
Constructs and evaluations strategies for intelligent speculative parallelism - armageddon revisited. ACM Conference on Computer Science 1988: 558-566 - [c6]Richard A. Warren, Manuel V. Hermenegildo, Saumya K. Debray:
On the Practicality of Global Flow Analysis of Logic Programs. ICLP/SLP 1988: 684-699 - [c5]Manuel V. Hermenegildo, Evan Tick:
Memory Performance of AND-parallel Prolog on Shared-Memory Architectures. ICPP (2) 1988: 17-21 - 1987
- [j1]Manuel V. Hermenegildo, Richard A. Warren:
Designing a high performance parallel logic programming system. SIGARCH Comput. Archit. News 15(1): 43-52 (1987) - [c4]Manuel V. Hermenegildo:
Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs. ICLP 1987: 556-575 - 1986
- [b1]Manuel V. Hermenegildo:
An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel. Technical University of Madrid, Spain, 1986 - [c3]Manuel V. Hermenegildo:
An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs. ICLP 1986: 25-39 - [c2]Manuel V. Hermenegildo, R. I. Nasr:
Efficient Management of Backtracking in AND-Parallelism. ICLP 1986: 40-54 - 1985
- [c1]G. Jack Lipovski, Manuel V. Hermenegildo:
B-Log: A Branch and Bound Methodology for the Parallel Execution of Logic Programs. ICPP 1985: 560-567
Coauthor Index
aka: Maria J. García de la Banda
aka: Daniel Cabeza Gras
aka: German Puebla
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-22 20:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint