| * | 2009 |
|---|
| 186 | EE | Pablo Chico de Guzmán,
Manuel Carro,
Manuel V. Hermenegildo:
A Tabling Implementation Based on Variables with Multiple Bindings.
ICLP 2009: 190-204 |
| 185 | EE | 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 |
| 184 | EE | Mark Marron,
Deepak Kapur,
Manuel V. Hermenegildo:
Identification of logically related heap regions.
ISMM 2009: 89-98 |
| 183 | EE | 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 |
| 182 | EE | Pablo Chico de Guzmán,
Manuel Carro,
Manuel V. Hermenegildo:
A Program Transformation for Continuation Call-Based Tabled Execution
CoRR abs/0901.3906: (2009) |
| 2008 |
|---|
| 181 | | Jacques Garrigue,
Manuel V. Hermenegildo:
Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings
Springer 2008 |
| 180 | EE | Mark Marron,
Manuel V. Hermenegildo,
Deepak Kapur,
Darko Stefanovic:
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models.
CC 2008: 245-259 |
| 179 | EE | 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 |
| 178 | EE | Eric Trias,
Jorge Navas,
Elena S. Ackley,
Stephanie Forrest,
Manuel V. Hermenegildo:
Negative Ternary Set-Sharing.
ICLP 2008: 301-316 |
| 177 | EE | Amadeo Casas,
Manuel Carro,
Manuel V. Hermenegildo:
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism.
ICLP 2008: 651-666 |
| 176 | EE | 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 |
| 175 | EE | Mario Méndez-Lojo,
Ondrej Lhoták,
Manuel V. Hermenegildo:
Efficient Set Sharing Using ZBDDs.
LCPC 2008: 47-63 |
| 174 | EE | Mark Marron,
Darko Stefanovic,
Deepak Kapur,
Manuel V. Hermenegildo:
Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models.
LCPC 2008: 94-108 |
| 173 | EE | 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 |
| 172 | EE | Amadeo Casas,
Manuel Carro,
Manuel V. Hermenegildo:
Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism.
PADL 2008: 230-247 |
| 171 | EE | 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 |
| 170 | EE | 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 |
| 169 | EE | 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 |
| 168 | EE | José F. Morales,
Manuel Carro,
Manuel V. Hermenegildo:
Comparing tag scheme variations using an abstract machine generator.
PPDP 2008: 32-43 |
| 167 | EE | Mario Méndez-Lojo,
Manuel V. Hermenegildo:
Precise Set Sharing Analysis for Java-Style Programs.
VMCAI 2008: 172-187 |
| 166 | EE | 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) |
| 2007 |
|---|
| 165 | EE | Manuel V. Hermenegildo:
Automatic granularity-aware parallelization of programs with predicates, functions, and constraints: invited talk.
DAMP 2007: 1 |
| 164 | EE | Pawel Pietrzak,
Manuel V. Hermenegildo:
Automatic Binding-Related Error Diagnosis in Logic Programs.
ICLP 2007: 333-347 |
| 163 | EE | Jorge Navas,
Edison Mera,
Pedro López-García,
Manuel V. Hermenegildo:
User-Definable Resource Bounds Analysis for Logic Programs.
ICLP 2007: 348-363 |
| 162 | EE | Amadeo Casas,
Manuel Carro,
Manuel V. Hermenegildo:
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs.
LOPSTR 2007: 138-153 |
| 161 | EE | Mario Méndez-Lojo,
Jorge Navas,
Manuel V. Hermenegildo:
A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs.
LOPSTR 2007: 154-168 |
| 160 | EE | 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 |
| 159 | EE | Amadeo Casas,
Manuel Carro,
Manuel V. Hermenegildo:
Towards a high-level implementation of flexible parallelism primitives for symbolic languages.
PASCO 2007: 93-94 |
| 158 | EE | Mark Marron,
Darko Stefanovic,
Manuel V. Hermenegildo,
Deepak Kapur:
Heap analysis in the presence of collection libraries.
PASTE 2007: 31-36 |
| 157 | EE | 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) |
| 156 | EE | Mario Méndez-Lojo,
Jorge Navas,
Manuel V. Hermenegildo:
An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode.
Electr. Notes Theor. Comput. Sci. 190(1): 51-66 (2007) |
| 2006 |
|---|
| 155 | EE | 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 |
| 154 | EE | 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 |
| 153 | EE | Elvira Albert,
Puri Arenas-Sánchez,
Germán Puebla,
Manuel V. Hermenegildo:
Reduced Certificates for Abstraction-Carrying Code.
ICLP 2006: 163-178 |
| 152 | EE | 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 |
| 151 | EE | 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 |
| 150 | EE | José F. Morales,
Manuel Carro,
Manuel V. Hermenegildo:
Towards Description and Optimization of Abstract Machines in an Extension of Prolog.
LOPSTR 2006: 77-93 |
| 149 | EE | Pawel Pietrzak,
Jesús Correas,
Germán Puebla,
Manuel V. Hermenegildo:
Context-Sensitive Multivariant Assertion Checking in Modular Programs.
LPAR 2006: 392-406 |
| 148 | EE | Jorge Navas,
Francisco Bueno,
Manuel V. Hermenegildo:
Efficient Top-Down Set-Sharing Analysis Using Cliques.
PADL 2006: 183-198 |
| 147 | EE | Germán Puebla,
Elvira Albert,
Manuel V. Hermenegildo:
Abstract Interpretation with Specialized Definitions.
SAS 2006: 107-126 |
| 2005 |
|---|
| 146 | | Manuel V. Hermenegildo,
Daniel Cabeza:
Practical Aspects of Declarative Languages, 7th International Symposium, PADL 2005, Long Beach, CA, USA, January 10-11, 2005, Proceedings
Springer 2005 |
| 145 | EE | 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 |
| 144 | EE | Germán Puebla,
Elvira Albert,
Manuel V. Hermenegildo:
A Generic Framework for the Analysis and Specialization of Logic Programs.
ICLP 2005: 407-409 |
| 143 | EE | Jesús Correas,
Germán Puebla,
Manuel V. Hermenegildo,
Francisco Bueno:
Experiments in Context-Sensitive Analysis of Modular Programs.
LOPSTR 2005: 163-178 |
| 142 | EE | Claudio Ochoa,
Germán Puebla,
Manuel V. Hermenegildo:
Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs.
LOPSTR 2005: 80-97 |
| 141 | EE | Manuel V. Hermenegildo,
Elvira Albert,
Pedro López-García,
Germán Puebla:
Abstraction carrying code and resource-awareness.
PPDP 2005: 1-11 |
| 140 | EE | Jorge Navas,
Francisco Bueno,
Manuel V. Hermenegildo:
A Study of Set-Sharing Analysis via Clique.
WLPE 2005: 31-45 |
| 139 | EE | Germán Puebla,
Manuel V. Hermenegildo,
Elvira Albert:
A Generic Framework for the Analysis and Specialization of Logic Programs.
WLPE 2005: 61-76 |
| 138 | EE | Germán Puebla,
Elvira Albert,
Manuel V. Hermenegildo:
A Generic Framework for the Analysis and Specialization of Logic Programs
CoRR abs/cs/0508111: (2005) |
| 137 | EE | Jorge Navas,
Francisco Bueno,
Manuel V. Hermenegildo:
A study of set-sharing analysis via cliques
CoRR abs/cs/0508112: (2005) |
| 136 | EE | 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) |
| 135 | EE | 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) |
| 2004 |
|---|
| 134 | EE | Daniel Cabeza,
Manuel V. Hermenegildo,
James Lipton:
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction.
ASIAN 2004: 93-108 |
| 133 | EE | 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 |
| 132 | EE | Francisco Bueno,
Pedro López-García,
Manuel V. Hermenegildo:
Multivariant Non-failure Analysis via Standard Abstract Interpretation.
FLOPS 2004: 100-116 |
| 131 | EE | Elvira Albert,
Germán Puebla,
Manuel V. Hermenegildo:
Abstract Interpretation-Based Mobile Code Certification.
ICLP 2004: 446-447 |
| 130 | EE | Germán Puebla,
Elvira Albert,
Manuel V. Hermenegildo:
Efficient Local Unfolding with Ancestor Stacks for Full Prolog.
LOPSTR 2004: 149-165 |
| 129 | EE | Pedro López-García,
Francisco Bueno,
Manuel V. Hermenegildo:
Determinacy Analysis for Logic Programs Using Mode and Type Information.
LOPSTR 2004: 19-35 |
| 128 | EE | Elvira Albert,
Germán Puebla,
Manuel V. Hermenegildo:
Abstraction-Carrying Code.
LPAR 2004: 380-397 |
| 127 | EE | 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 |
| 126 | EE | José F. Morales,
Manuel Carro,
Manuel V. Hermenegildo:
Improved Compilation of Prolog to C Using Moded Types and Determinism Information.
PADL 2004: 86-103 |
| 125 | EE | 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 |
| 124 | EE | Elvira Albert,
Germán Puebla,
Manuel V. Hermenegildo:
Experiments in abstract interpretation-based code certification for pervasive systems.
SMC (2) 2004: 1125-1130 |
| 2003 |
|---|
| 123 | EE | 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 |
| 122 | EE | Germán Puebla,
Manuel V. Hermenegildo:
Abstract specialization and its applications.
PEPM 2003: 29-43 |
| 121 | EE | 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 |
| 120 | EE | Daniel Cabeza,
Manuel V. Hermenegildo:
Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library
CoRR cs.DC/0312031: (2003) |
| 2002 |
|---|
| 119 | | Manuel V. Hermenegildo,
Germán Puebla:
Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings
Springer 2002 |
| 118 | EE | 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 |
| 117 | EE | 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 |
| 2001 |
|---|
| 116 | EE | Susana Muñoz-Hernández,
Juan José Moreno-Navarro,
Manuel V. Hermenegildo:
Efficient Negation Using Abstract Interpretation.
LPAR 2001: 485-494 |
| 115 | EE | 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) |
| 114 | | 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) |
| 113 | | Daniel Cabeza Gras,
Manuel V. Hermenegildo:
Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library.
TPLP 1(3): 251-282 (2001) |
| 2000 |
|---|
| 112 | | Pierre Deransart,
Manuel V. Hermenegildo,
Jan Maluszynski:
Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project)
Springer 2000 |
| 111 | | Pierre Deransart,
Manuel V. Hermenegildo,
Jan Maluszynski:
Introduction.
Analysis and Visualization Tools for Constraint Programming 2000: 1-20 |
| 110 | | 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 |
| 109 | | Manuel Carro,
Manuel V. Hermenegildo:
Tools for Search-Tree Visualisation: The APT Tool.
Analysis and Visualization Tools for Constraint Programming 2000: 237-252 |
| 108 | | Manuel Carro,
Manuel V. Hermenegildo:
Tools for Constraint Visualisation: The VIFID/TRIFID Tool.
Analysis and Visualization Tools for Constraint Programming 2000: 253-272 |
| 107 | | 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 |
| 106 | EE | Daniel Cabeza Gras,
Manuel V. Hermenegildo:
A New Module System for Prolog.
Computational Logic 2000: 131-148 |
| 105 | EE | Manuel V. Hermenegildo:
A Documentation Generator for (C)LP Systems.
Computational Logic 2000: 1345-1361 |
| 104 | EE | 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 |
| 103 | EE | 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 |
| 102 | EE | Carlos Carreras,
Manuel V. Hermenegildo:
Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions.
SARA 2000: 107-123 |
| 101 | EE | 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) |
| 100 | EE | 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) |
| 99 | | Manuel V. Hermenegildo:
Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming.
Parallel Computing 26(13-14): 1685-1708 (2000) |
| 1999 |
|---|
| 98 | | Manuel Carro,
Manuel V. Hermenegildo:
Concurrency in Prolog Using Threads and a Shared Database.
ICLP 1999: 320-334 |
| 97 | | 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 |
| 96 | | Germán Puebla,
Francisco Bueno,
Manuel V. Hermenegildo:
Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs.
LOPSTR 1999: 273-292 |
| 95 | | Germán Puebla,
Manuel V. Hermenegildo,
John P. Gallagher:
An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework.
PEPM 1999: 75-84 |
| 94 | EE | 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) |
| 93 | EE | Germán Puebla,
Manuel V. Hermenegildo:
Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs.
Electr. Notes Theor. Comput. Sci. 30(2): (1999) |
| 92 | EE | Daniel Cabeza Gras,
Manuel V. Hermenegildo:
The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library.
Electr. Notes Theor. Comput. Sci. 30(3): (1999) |
| 91 | EE | Daniel Cabeza Gras,
Manuel V. Hermenegildo:
The Ciao Module System: A New Module System for Prolog.
Electr. Notes Theor. Comput. Sci. 30(3): (1999) |
| 90 | EE | Manuel V. Hermenegildo:
A System for Automatically Generating Documentation for (C)LP Programs.
Electr. Notes Theor. Comput. Sci. 30(4): (1999) |
| 89 | | 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) |
| 88 | | Germán Puebla,
Manuel V. Hermenegildo:
Abstract Multiple Specialization and Its Application to Program Parallelization.
J. Log. Program. 41(2-3): 279-316 (1999) |
| 1998 |
|---|
| 87 | | Manuel Carro,
Manuel V. Hermenegildo:
Some Design Issues in the Visualization of Constraint Logic Program Execution.
APPIA-GULP-PRODE 1998: 71-86 |
| 86 | EE | Germán Puebla,
Francisco Bueno,
Manuel V. Hermenegildo:
A Framework for Assertion-Based Debugging in Constraint Logic Programming.
CP 1998: 472 |
| 85 | | 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) |
| 1997 |
|---|
| 84 | EE | 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 |
| 83 | EE | Manuel V. Hermenegildo:
Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming.
Euro-Par 1997: 31-45 |
| 82 | | Saumya K. Debray,
Pedro López-García,
Manuel V. Hermenegildo:
Non-Failure Analysis for Logic Programs.
ICLP 1997: 48-62 |
| 81 | | 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 |
| 80 | | Manuel V. Hermenegildo:
Programming with Global Analysis (Abstract).
ILPS 1997: 49-50 |
| 79 | | Manuel V. Hermenegildo:
Some Challenges for Constraint Programming.
Constraints 2(1): 63-69 (1997) |
| 78 | | 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) |
| 1996 |
|---|
| 77 | EE | Maria J. García de la Banda,
Manuel V. Hermenegildo,
Kim Marriott:
Independence in Dynamically Scheduled Logic Languages.
ALP 1996: 47-61 |
| 76 | | 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 |
| 75 | | Daniel Cabeza,
Manuel V. Hermenegildo:
Implementing Distributed Concurrent Constraint Execution in the CIAO System.
APPIA-GULP-PRODE 1996: 67-78 |
| 74 | EE | Francisco Bueno,
Daniel Cabeza Gras,
Manuel V. Hermenegildo,
Germán Puebla:
Global Analysis of Standard Prolog Programs.
ESOP 1996: 108-124 |
| 73 | EE | Kish Shen,
Manuel V. Hermenegildo:
Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs.
Euro-Par, Vol. II 1996: 635-639 |
| 72 | EE | 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 |
| 71 | | Germán Puebla,
Manuel V. Hermenegildo:
Abstract Specialization and Its Application to Program Parallelization.
LOPSTR 1996: 169-186 |
| 70 | EE | Germán Puebla,
Manuel V. Hermenegildo:
Automatic Optimization of Dynamic Scheduling in Logic Programs.
PLILP 1996: 475-476 |
| 69 | EE | Maria J. García de la Banda,
Francisco Bueno,
Manuel V. Hermenegildo:
Towards Independent And-Parallelism in CLP.
PLILP 1996: 77-91 |
| 68 | | Germán Puebla,
Manuel V. Hermenegildo:
Optimized Algorithms for Incremental Analysis of Logic Programs.
SAS 1996: 270-284 |
| 67 | | Manuel V. Hermenegildo:
Some cCallenges for Constraint Programming.
ACM Comput. Surv. 28(4es): 64 (1996) |
| 66 | EE | 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) |
| 65 | | 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) |
| 64 | | Manuel V. Hermenegildo,
Manuel Carro:
Relating Data-Parallelism and (and-) Parallelism in Logic Programs.
Comput. Lang. 22(2/3): 143-163 (1996) |
| 63 | | 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) |
| 1995 |
|---|
| 62 | | Manuel V. Hermenegildo,
S. Doaitse Swierstra:
Programming Languages: Implementations, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings
Springer 1995 |
| 61 | EE | Manuel V. Hermenegildo,
Manuel Carro:
Relating Data-Parallelism and (And-) Parallelism in Logic Programs.
Euro-Par 1995: 27-41 |
| 60 | | 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 |
| 59 | | Manuel V. Hermenegildo,
Pedro López-García:
Efficient Term Size Computation for Granularity Control.
ICLP 1995: 647-661 |
| 58 | | Manuel V. Hermenegildo,
Germán Puebla,
Kim Marriott,
Peter J. Stuckey:
Incremental Analysis of Logic Programs.
ICLP 1995: 797-811 |
| 57 | EE | Enrico Pontelli,
Gopal Gupta,
Manuel V. Hermenegildo:
&ACE: a high-performance parallel Prolog system.
IPPS 1995: 564-571 |
| 56 | | Germán Puebla,
Manuel V. Hermenegildo:
Implementation of Multiple Specialization in Logic Programs.
PEPM 1995: 77-87 |
| 55 | EE | 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) |
| 54 | | 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) |
| 53 | | 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) |
| 1994 |
|---|
| 52 | | Manuel V. Hermenegildo,
Jaan Penjam:
Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings
Springer 1994 |
| 51 | EE | Francisco Bueno,
Manuel V. Hermenegildo,
Ugo Montanari,
Francesca Rossi:
From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics.
ALP 1994: 114-132 |
| 50 | | 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 |
| 49 | EE | 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 |
| 48 | EE | 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 |
| 47 | EE | 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 |
| 46 | EE | 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 |
| 45 | | Carlos Carreras,
Carlos A. López,
Manuel V. Hermenegildo:
Analytic Model of a Cache Only Memory Architecture.
PARLE 1994: 336-350 |
| 44 | | Kim Marriott,
Maria J. García de la Banda,
Manuel V. Hermenegildo:
Analyzing Logic Programs with Dynamic Scheduling.
POPL 1994: 240-253 |
| 43 | | Manuel V. Hermenegildo:
Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming System.
PPCP 1994: 123-133 |
| 42 | | 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 |
| 41 | | 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 |
| 40 | | Daniel Cabeza Gras,
Manuel V. Hermenegildo:
Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information.
SAS 1994: 297-313 |
| 39 | | 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 |
| 38 | | 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 |
| 37 | | Maurice Bruynooghe,
Saumya K. Debray,
Manuel V. Hermenegildo,
Michael J. Maher:
Guest Editor's Introduction.
J. Log. Program. 19/20: 1-3 (1994) |
| 1993 |
|---|
| 36 | | Manuel Carro,
Luis Manuel Gómez Henríquez,
Manuel V. Hermenegildo:
Some Paradigms for Visualizing Parallel Execution of Logic Programs.
ICLP 1993: 184-200 |
| 35 | | Kish Shen,
Manuel V. Hermenegildo:
Divided We Stand: Parallel Distributed Stack Memory Management.
ICLP-Workshops on Implementation of Logic Programming Systems 1993: 185-201 |
| 34 | | Maria J. García de la Banda,
Manuel V. Hermenegildo,
Kim Marriott:
Independence in Constraint Logic Programs.
ILPS 1993: 130-146 |
| 33 | | Maria J. García de la Banda,
Manuel V. Hermenegildo:
A Practical Approach to the Global Analysis of CLP Programs.
ILPS 1993: 437-455 |
| 32 | | M. Olmedilla,
Francisco Bueno,
Manuel V. Hermenegildo:
Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model.
LOPSTR 1993: 177-195 |
| 31 | | 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 |
| 30 | | 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) |
| 1992 |
|---|
| 29 | | Manuel V. Hermenegildo:
The Role of Computational Logic as a Hinge Paradigm among Deduction, Problem Solving, Programming, and Parallelism.
AIFIPP 1992: 207-221 |
| 28 | | Francisco Bueno,
Manuel V. Hermenegildo:
An Automatic Translation Scheme from Prolog to the Andorra Kernel Language.
FGCS 1992: 759-769 |
| 27 | | Gopal Gupta,
Manuel V. Hermenegildo:
Recomputation based Implementations of And-Or Parallel Prolog.
FGCS 1992: 770-782 |
| 26 | | 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- |
| 25 | | 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 |
| 24 | EE | Herbert Kuchen,
Juan José Moreno-Navarro,
Manuel V. Hermenegildo:
Independent AND-Parallel Implementation of Narrowing.
PLILP 1992: 24-38 |
| 23 | | Maria J. García de la Banda,
Manuel V. Hermenegildo:
A Practical Application of Sharing and Freeness Inference.
WSA 1992: 118-125 |
| 22 | | Kalyan Muthukumar,
Manuel V. Hermenegildo:
Compile-Time Derivation of Variable Dependency Using Abstract Interpretation.
J. Log. Program. 13(2&3): 315-347 (1992) |
| 21 | | Manuel V. Hermenegildo,
Richard Warren,
Saumya K. Debray:
Global Flow Analysis as a Practical Compilation Tool.
J. Log. Program. 13(4): 349-366 (1992) |
| 1991 |
|---|
| 20 | | Kalyan Muthukumar,
Manuel V. Hermenegildo:
Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation.
ICLP 1991: 49-63 |
| 19 | | 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 |
| 18 | | Kish Shen,
Manuel V. Hermenegildo:
A Simulation Study of Or- and and Independent And-parallelism.
ISLP 1991: 135-151 |
| 17 | | Gopal Gupta,
Vítor Santos Costa,
Rong Yang,
Manuel V. Hermenegildo:
IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism.
ISLP 1991: 152-166 |
| 16 | EE | Fosca Giannotti,
Manuel V. Hermenegildo:
A Technique for Recursive Invariance Detection and Selective Program Specification.
PLILP 1991: 323-334 |
| 15 | | Manuel V. Hermenegildo,
K. J. Greene:
The &-Prolog System: Exploiting Independent And-Parallelism.
New Generation Comput. 9(3/4): 233-256 (1991) |
| 1990 |
|---|
| 14 | | 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 |
| 13 | | Manuel V. Hermenegildo,
Francesca Rossi:
Non-Strict Independent And-Parallelism.
ICLP 1990: 237-252 |
| 12 | | Manuel V. Hermenegildo,
K. J. Greene:
&-Prolog and its Performance: Exploiting Independent And-Parallelism.
ICLP 1990: 253-268 |
| 11 | | Saumya K. Debray,
Nai-Wei Lin,
Manuel V. Hermenegildo:
Task Granularity Analysis in Logic Programs.
PLDI 1990: 174-188 |
| 1989 |
|---|
| 10 | | Kalyan Muthukumar,
Manuel V. Hermenegildo:
Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism.
ICLP 1989: 80-97 |
| 9 | | Kalyan Muthukumar,
Manuel V. Hermenegildo:
Determination of Variable Dependence Information through Abstract Interpretation.
NACLP 1989: 166-185 |
| 8 | | Manuel V. Hermenegildo,
Francesca Rossi:
On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs.
NACLP 1989: 369-389 |
| 1988 |
|---|
| 7 | EE | Adolfo Guzmán,
Manuel V. Hermenegildo:
Constructs and evaluations strategies for intelligent speculative parallelism - armageddon revisited.
ACM Conference on Computer Science 1988: 558-566 |
| 6 | | Richard Warren,
Manuel V. Hermenegildo,
Saumya K. Debray:
On the Practicality of Global Flow Analysis of Logic Programs.
ICLP/SLP 1988: 684-699 |
| 5 | | Manuel V. Hermenegildo,
Evan Tick:
Memory Performance of AND-parallel Prolog on Shared-Memory Architectures.
ICPP (2) 1988: 17-21 |
| 1987 |
|---|
| 4 | | Manuel V. Hermenegildo:
Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs.
ICLP 1987: 556-575 |
| 1986 |
|---|
| 3 | | Manuel V. Hermenegildo:
An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs.
ICLP 1986: 25-39 |
| 2 | | Manuel V. Hermenegildo,
R. I. Nasr:
Efficient Management of Backtracking in AND-Parallelism.
ICLP 1986: 40-54 |
| 1985 |
|---|
| 1 | | G. Jack Lipovski,
Manuel V. Hermenegildo:
B-Log: A Branch and Bound Methodology for the Parallel Execution of Logic Programs.
ICPP 1985: 560-567 |
