Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Manuel V. Hermenegildo
2010 – today
- 2013
[j46]Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo: A sharing-based approach to supporting adaptation in service compositions. Computing 95(6): 453-492 (2013)- [i13]Zoé Drey, José F. Morales, Manuel V. Hermenegildo: Reversible Language Extensions and their Application in Debugging. CoRR abs/1301.7694 (2013)
- [i12]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)
- 2012
- [j45]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. TPLP 12(1-2): 219-252 (2012)
- [j44]Elvira Albert, Puri Arenas, Germán Puebla, Manuel V. Hermenegildo: Certificate size reduction in abstraction-carrying code. TPLP 12(3): 283-318 (2012)
- [j43]José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo: Lightweight compilation of (C)LP to JavaScript. TPLP 12(4-5): 755-773 (2012)
- [c158]Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey: A General Implementation Framework for Tabled CLP. FLOPS 2012: 104-119
- [c157]Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo: A Constraint-Based Approach to Quality Assurance in Service Choreographies. ICSOC 2012: 252-267
- [c156]Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: A Segment-Swapping Approach for Executing Trapped Computations. PADL 2012: 138-152
- [i11]José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo: Lightweight compilation of (C)LP to JavaScript. CoRR abs/1210.2864 (2012)
- 2011
- [j42]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: Efficient local unfolding with ancestor stacks. TPLP 11(1): 1-32 (2011)
- [j41]Pablo Chico de Guzmán, Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Parallel backtracking with answer memoing for independent and-parallelism. TPLP 11(4-5): 555-574 (2011)
- [c155]Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo: Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis. IEEE SCC 2011: 120-127
- [c154]Pedro López-García, Luthfi Darmawan, Francisco Bueno, Manuel V. Hermenegildo: Interval-Based Resource Usage Verification: Formalization and Prototype. FOPARA 2011: 54-71
- [c153]Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo: Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. ICSOC 2011: 62-76
- [c152]José F. Morales, Manuel V. Hermenegildo, Rémy Haemmerlé: Modular Extensions for Modular (Logic) Languages. LOPSTR 2011: 139-154
- [c151]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
- [c150]Rémy Haemmerlé, Pedro López-García, Manuel V. Hermenegildo: CLP projection for constraint handling rules. PPDP 2011: 137-148
- [c149]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
- [i10]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)
- [i9]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
- [j40]Alex Stivala, Peter J. Stuckey, Maria Garcia de la Banda, Manuel V. Hermenegildo, Anthony Wirth: Lock-free parallel dynamic programming. J. Parallel Distrib. Comput. 70(8): 839-848 (2010)
- [j39]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 Generation Comput. 28(2): 177-206 (2010)
- [j38]Manuel V. Hermenegildo, Torsten Schaub: Introduction to the 26th international conference on logic programming special issue. TPLP 10(4-6): 361-364 (2010)
- [c148]Manuel V. Hermenegildo, Torsten Schaub: Titlepage, Table of Contents, Conference Organization. ICLP (Technical Communications) 2010
- [c147]Manuel V. Hermenegildo, Torsten Schaub: Introduction to the Technical Communications of the 26th International Conference on Logic Programming. ICLP (Technical Communications) 2010
- [c146]Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo: Automatic Fragment Identification in Workflows Based on Sharing Analysis. ICSOC 2010: 350-364
- [c145]Dragan Ivanovic, Manuel Carro, Manuel V. Hermenegildo: Towards Data-Aware QoS-driven Adaptation for Service Orchestrations. ICWS 2010: 107-114
- [e9]Manuel V. Hermenegildo, Torsten Schaub (Eds.): 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 fuer Informatik 2010, ISBN 978-3-939897-17-0
- [e8]Manuel V. Hermenegildo, Jens Palsberg (Eds.): 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
- [e7]Gilles Barthe, Manuel V. Hermenegildo (Eds.): 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
- [i8]Francisco Bueno, Jorge A. Navas, Manuel V. Hermenegildo: Towards Parameterized Regular Type Inference Using Set Constraints. CoRR abs/1002.1836 (2010)
- [i7]Manuel V. Hermenegildo, Torsten Schaub: Introduction to the 26th International Conference on Logic Programming Special Issue. CoRR abs/1008.1710 (2010)
- [i6]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
- [j37]Jorge A. Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo: User-Definable Resource Usage Bounds Analysis for Java Bytecode. Electr. Notes Theor. Comput. Sci. 253(5): 65-82 (2009)
- [j36]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)
- [c144]Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo: A Tabling Implementation Based on Variables with Multiple Bindings. ICLP 2009: 190-204
- [c143]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
- [c142]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
- [c141]Mark Marron, Deepak Kapur, Manuel V. Hermenegildo: Identification of logically related heap regions. ISMM 2009: 89-98
- [c140]Leonardo Scandolo, César Kunz, Manuel V. Hermenegildo: Program Parallelization Using Synchronized Pipelining. LOPSTR 2009: 173-187
- [c139]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
- [i5]Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo: A Program Transformation for Continuation Call-Based Tabled Execution. CoRR abs/0901.3906 (2009)
- [i4]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: Efficient Local Unfolding with Ancestor Stacks. CoRR abs/0911.4047 (2009)
- 2008
- [j35]Elvira Albert, Germán Puebla, Manuel V. Hermenegildo: Abstraction-Carrying Code: a Model for Mobile Code Safety. New Generation Comput. 26(2): 171-204 (2008)
- [c138]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
- [c137]Mark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic: Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. CC 2008: 245-259
- [c136]Eric Trias, Jorge A. Navas, Elena S. Ackley, Stephanie Forrest, Manuel V. Hermenegildo: Negative Ternary Set-Sharing. ICLP 2008: 301-316
- [c135]Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. ICLP 2008: 651-666
- [c134]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
- [c133]Mario Méndez-Lojo, Ondrej Lhoták, Manuel V. Hermenegildo: Efficient Set Sharing Using ZBDDs. LCPC 2008: 47-63
- [c132]Mark Marron, Darko Stefanovic, Deepak Kapur, Manuel V. Hermenegildo: Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. LCPC 2008: 94-108
- [c131]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
- [c130]Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. PADL 2008: 230-247
- [c129]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
- [c128]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
- [c127]José F. Morales, Manuel Carro, Manuel V. Hermenegildo: Comparing tag scheme variations using an abstract machine generator. PPDP 2008: 32-43
- [c126]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
- [c125]Mario Méndez-Lojo, Manuel V. Hermenegildo: Precise Set Sharing Analysis for Java-Style Programs. VMCAI 2008: 172-187
- [e6]Jacques Garrigue, Manuel V. Hermenegildo (Eds.): 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
- 2007
- [j34]Mario Méndez-Lojo, Jorge A. Navas, Manuel V. Hermenegildo: An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. Electr. Notes Theor. Comput. Sci. 190(1): 51-66 (2007)
- [c124]Pawel Pietrzak, Manuel V. Hermenegildo: Automatic Binding-Related Error Diagnosis in Logic Programs. ICLP 2007: 333-347
- [c123]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
- [c122]Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Towards a high-level implementation of flexible parallelism primitives for symbolic languages. PASCO 2007: 93-94
- [c121]Amadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. LOPSTR 2007: 138-153
- [c120]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
- [c119]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
- [c118]Mark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur: Heap analysis in the presence of collection libraries. PASTE 2007: 31-36
- [c117]Manuel V. Hermenegildo: Automatic granularity-aware parallelization of programs with predicates, functions, and constraints: invited talk. DAMP 2007: 1
- [i3]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
- [c116]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
- [c115]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
- [c114]Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo: Reduced Certificates for Abstraction-Carrying Code. ICLP 2006: 163-178
- [c113]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
- [c112]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
- [c111]José F. Morales, Manuel Carro, Manuel V. Hermenegildo: Towards Description and Optimization of Abstract Machines in an Extension of Prolog. LOPSTR 2006: 77-93
- [c110]Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo: Context-Sensitive Multivariant Assertion Checking in Modular Programs. LPAR 2006: 392-406
- [c109]Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo: Efficient Top-Down Set-Sharing Analysis Using Cliques. PADL 2006: 183-198
- [c108]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: Abstract Interpretation with Specialized Definitions. SAS 2006: 107-126
- 2005
- [j33]Elvira Albert, Germán Puebla, Manuel V. Hermenegildo: An Abstract Interpretation-based Approach to Mobile Code Safety. Electr. Notes Theor. Comput. Sci. 132(1): 113-129 (2005)
- [j32]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)
- [c107]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
- [c106]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: A Generic Framework for the Analysis and Specialization of Logic Programs. ICLP 2005: 407-409
- [c105]Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo: Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. LOPSTR 2005: 80-97
- [c104]Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno: Experiments in Context-Sensitive Analysis of Modular Programs. LOPSTR 2005: 163-178
- [c103]Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo: A Study of Set-Sharing Analysis via Clique. WLPE 2005: 31-45
- [c102]Germán Puebla, Manuel V. Hermenegildo, Elvira Albert: A Generic Framework for the Analysis and Specialization of Logic Programs. WLPE 2005: 61-76
- [c101]Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla: Abstraction carrying code and resource-awareness. PPDP 2005: 1-11
- [e5]Manuel V. Hermenegildo, Daniel Cabeza (Eds.): 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
- [i2]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: A Generic Framework for the Analysis and Specialization of Logic Programs. CoRR abs/cs/0508111 (2005)
- 2004
- [c100]Daniel Cabeza, Manuel V. Hermenegildo, James Lipton: Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. ASIAN 2004: 93-108
- [c99]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
- [c98]Francisco Bueno, Pedro López-García, Manuel V. Hermenegildo: Multivariant Non-failure Analysis via Standard Abstract Interpretation. FLOPS 2004: 100-116
- [c97]Elvira Albert, Germán Puebla, Manuel V. Hermenegildo: Abstract Interpretation-Based Mobile Code Certification. ICLP 2004: 446-447
- [c96]Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo: Determinacy Analysis for Logic Programs Using Mode and Type Information. LOPSTR 2004: 19-35
- [c95]Germán Puebla, Elvira Albert, Manuel V. Hermenegildo: Efficient Local Unfolding with Ancestor Stacks for Full Prolog. LOPSTR 2004: 149-165
- [c94]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
- [c93]
- [c92]José F. Morales, Manuel Carro, Manuel V. Hermenegildo: Improved Compilation of Prolog to C Using Moded Types and Determinism Information. PADL 2004: 86-103
- [c91]Jesús Correas, J. 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
- [c90]Elvira Albert, Germán Puebla, Manuel V. Hermenegildo: Experiments in abstract interpretation-based code certification for pervasive systems. SMC (2) 2004: 1125-1130
- 2003
- [c89]Jesús Correas, J. M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo: A Generic Persistence Model for (C)LP Systems. ICLP 2003: 481-482
- [c88]Germán Puebla, Manuel V. Hermenegildo: Abstract specialization and its applications. PEPM 2003: 29-43
- [c87]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
- [c86]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
- [c85]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
- [e4]Manuel V. Hermenegildo, Germán Puebla (Eds.): 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
- 2001
- [j31]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)
- [j30]Leon Sterling, Lee Naish, Manuel V. Hermenegildo: Guest editor's introduction Special issue on Logic Programming and the Internet. TPLP 1(3): 249-250 (2001)
- [j29]Daniel Cabeza Gras, Manuel V. Hermenegildo: Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library. TPLP 1(3): 251-282 (2001)
- [c84]Susana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo: Efficient Negation Using Abstract Interpretation. LPAR 2001: 485-494
- 2000
- [j28]Manuel V. Hermenegildo: Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming. Parallel Computing 26(13-14): 1685-1708 (2000)
- [j27]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)
- [j26]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)
- [c83]Daniel Cabeza Gras, Manuel V. Hermenegildo: A New Module System for Prolog. Computational Logic 2000: 131-148
- [c82]Manuel V. Hermenegildo: A Documentation Generator for (C)LP Systems. Computational Logic 2000: 1345-1361
- [c81]Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski: Introduction. Analysis and Visualization Tools for Constraint Programming 2000: 1-20
- [c80]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
- [c79]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
- [c78]Manuel Carro, Manuel V. Hermenegildo: Tools for Search-Tree Visualisation: The APT Tool. Analysis and Visualization Tools for Constraint Programming 2000: 237-252
- [c77]Manuel Carro, Manuel V. Hermenegildo: Tools for Constraint Visualisation: The VIFID/TRIFID Tool. Analysis and Visualization Tools for Constraint Programming 2000: 253-272
- [c76]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
- [c75]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
- [c74]Carlos Carreras, Manuel V. Hermenegildo: Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions. SARA 2000: 107-123
- [e3]Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski (Eds.): Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project). Lecture Notes in Computer Science 1870, Springer 2000, ISBN 3-540-41137-2
1990 – 1999
- 1999
- [j25]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)
- [j24]Germán Puebla, Manuel V. Hermenegildo: Abstract Multiple Specialization and Its Application to Program Parallelization. J. Log. Program. 41(2-3): 279-316 (1999)
- [j23]Germán Puebla, Manuel V. Hermenegildo: Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. Electr. Notes Theor. Comput. Sci. 30(2): 163-187 (1999)
- [j22]Daniel Cabeza Gras, Manuel V. Hermenegildo: The Ciao Module System: A New Module System for Prolog. Electr. Notes Theor. Comput. Sci. 30(3): 122-142 (1999)
- [j21]Daniel Cabeza Gras, Manuel V. Hermenegildo: The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library. Electr. Notes Theor. Comput. Sci. 30(3): 144-162 (1999)
- [j20]Manuel V. Hermenegildo: A System for Automatically Generating Documentation for (C)LP Programs. Electr. Notes Theor. Comput. Sci. 30(4): 289-307 (1999)
- [j19]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)
- [c73]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
- [c72]Manuel Carro, Manuel V. Hermenegildo: Concurrency in Prolog Using Threads and a Shared Database. ICLP 1999: 320-334
- [c71]Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo: Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. LOPSTR 1999: 273-292
- [c70]Germán Puebla, Manuel V. Hermenegildo, John P. Gallagher: An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. PEPM 1999: 75-84
- 1998
- [j18]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)
- [c69]Manuel Carro, Manuel V. Hermenegildo: Some Design Issues in the Visualization of Constraint Logic Program Execution. APPIA-GULP-PRODE 1998: 71-86
- [c68]Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo: A Framework for Assertion-Based Debugging in Constraint Logic Programming. CP 1998: 472
- 1997
- [j17]
- [j16]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)
- [c67]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
- [c66]Manuel V. Hermenegildo: Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming. Euro-Par 1997: 31-45
- [c65]Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo: Non-Failure Analysis for Logic Programs. ICLP 1997: 48-62
- [c64]
- [c63]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
- [j15]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)
- [j14]Manuel V. Hermenegildo, Manuel Carro: Relating Data-Parallelism and (and-) Parallelism in Logic Programs. Comput. Lang. 22(2/3): 143-163 (1996)
- [j13]Manuel V. Hermenegildo: Some cCallenges for Constraint Programming. ACM Comput. Surv. 28(4es): 64 (1996)
- [j12]Kish Shen, Manuel V. Hermenegildo: High-level characteristics of or- and independent and-parallelism in prolog. International Journal of Parallel Programming 24(5): 433-478 (1996)
- [j11]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)
- [j10]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)
- [c62]Daniel Cabeza, Manuel V. Hermenegildo: Implementing Distributed Concurrent Constraint Execution in the CIAO System. APPIA-GULP-PRODE 1996: 67-78
- [c61]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
- [c60]Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott: Independence in Dynamically Scheduled Logic Languages. ALP 1996: 47-61
- [c59]Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla: Global Analysis of Standard Prolog Programs. ESOP 1996: 108-124
- [c58]Kish Shen, Manuel V. Hermenegildo: Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs. Euro-Par, Vol. II 1996: 635-639
- [c57]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
- [c56]Germán Puebla, Manuel V. Hermenegildo: Abstract Specialization and Its Application to Program Parallelization. LOPSTR 1996: 169-186
- [c55]Maria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo: Towards Independent And-Parallelism in CLP. PLILP 1996: 77-91
- [c54]Germán Puebla, Manuel V. Hermenegildo: Automatic Optimization of Dynamic Scheduling in Logic Programs. PLILP 1996: 475-476
- [c53]Germán Puebla, Manuel V. Hermenegildo: Optimized Algorithms for Incremental Analysis of Logic Programs. SAS 1996: 270-284
- 1995
- [j9]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)
- [j8]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)
- [j7]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)
- [c52]Manuel V. Hermenegildo, Manuel Carro: Relating Data-Parallelism and (And-) Parallelism in Logic Programs. Euro-Par 1995: 27-41
- [c51]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
- [c50]Manuel V. Hermenegildo, Pedro López-García: Efficient Term Size Computation for Granularity Control. ICLP 1995: 647-661
- [c49]Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey: Incremental Analysis of Logic Programs. ICLP 1995: 797-811
- [c48]Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo: &ACE: a high-performance parallel Prolog system. IPPS 1995: 564-571
- [c47]Germán Puebla, Manuel V. Hermenegildo: Implementation of Multiple Specialization in Logic Programs. PEPM 1995: 77-87
- [e2]Manuel V. Hermenegildo, S. Doaitse Swierstra (Eds.): 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
- 1994
- [j6]Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher: Guest Editor's Introduction. J. Log. Program. 19/20: 1-3 (1994)
- [c46]Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi: From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. ALP 1994: 114-132
- [c45]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
- [c44]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
- [c43]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
- [c42]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
- [c41]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
- [c40]Carlos Carreras, Carlos A. López, Manuel V. Hermenegildo: Analytic Model of a Cache Only Memory Architecture. PARLE 1994: 336-350
- [c39]Kim Marriott, Maria J. García de la Banda, Manuel V. Hermenegildo: Analyzing Logic Programs with Dynamic Scheduling. POPL 1994: 240-253
- [c38]Manuel V. Hermenegildo: Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming System. PPCP 1994: 123-133
- [c37]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
- [c36]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
- [c35]Daniel Cabeza Gras, Manuel V. Hermenegildo: Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information. SAS 1994: 297-313
- [c34]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
- [c33]Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo: Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. SLP 1994: 320-336
- [e1]Manuel V. Hermenegildo, Jaan Penjam (Eds.): 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
- 1993
- [j5]Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa: And-Or Parallel Prolog: A Recomputation Based Approach. New Generation Comput. 11(3): 297-321 (1993)
- [c32]Manuel Carro, Luis Manuel Gómez Henríquez, Manuel V. Hermenegildo: Some Paradigms for Visualizing Parallel Execution of Logic Programs. ICLP 1993: 184-200
- [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
- [j4]Kalyan Muthukumar, Manuel V. Hermenegildo: Compile-Time Derivation of Variable Dependency Using Abstract Interpretation. J. Log. Program. 13(2&3): 315-347 (1992)
- [j3]Manuel V. Hermenegildo, Richard 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: 0-
- [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
- [j2]Manuel V. Hermenegildo, K. J. Greene: The &-Prolog System: Exploiting Independent And-Parallelism. New Generation 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]
- [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]
- [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
1980 – 1989
- 1989
- [j1]Manuel V. Hermenegildo, Evan Tick: Memory referencing characteristics and caching performance of AND-Parallel Prolog on shared-memory multiprocessors. New Generation 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 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
- [c4]Manuel V. Hermenegildo: Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs. ICLP 1987: 556-575
- 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
[j46] [j45] [j43] [c158] [c157] [c156] [i11] [j41] [c155] [c153] [c149] [r1] [i10] [i9] [c146] [c145] [c144] [c142] [c139] [i5] [c138] [c135] [c134] [c131] [c130] [c127] [c126] [c122] [c121] [c119] [i3] [c116] [c113] [c111] [c107] [c92] [c91] [c89] [c78] [c77] [c72] [c69] [j15] [j14] [c61] [c57] [c52] [c51] [c45] [c42] [c34] [c32] [c23]
[j45] [j44] [j42] [c149] [i10] [i6] [i4] [j35] [c138] [c128] [c119] [i3] [c116] [c114] [c113] [c110] [c108] [j33] [j32] [c107] [c106] [c105] [c104] [c102] [c101] [i2] [c99] [c97] [c95] [c94] [c93] [c90] [c88] [c87] [c86] [c85] [e4] [j27] [c80] [c79] [c76] [c75] [j24] [j23] [c73] [c71] [c70] [c68] [c67] [c61] [c59] [c56] [c54] [c53] [c49] [c47]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-05 02:37 CEST by the dblp team