- CSB - MetaPress - Google - Bing - Yahoo
 | 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) |
| 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 |
| 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 |
| 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 |
Colors in the list of coauthors
Last update Fri May 24 07:57:23 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page