


default search action
Manuel V. Hermenegildo
Person information
- affiliation: Universidad Politécnica de Madrid, Spain
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c199]Manuel V. Hermenegildo, José F. Morales, Pedro López-García:
Teaching Pure LP with Prolog and a Fair Search Rule. ICLP Workshops 2024 - [c198]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. SAS 2024: 352-385 - [i41]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) - [i40]Daniel Jurjo-Rivas, José F. Morales, Pedro López-García, Manuel V. Hermenegildo:
Abstract Environment Trimming. CoRR abs/2408.09848 (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]