 | 2010 |
|---|
| 192 |       | Manuel V. Hermenegildo,
Jens Palsberg:
Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010
ACM 2010 |
| 191 |  | Gilles Barthe,
Manuel V. Hermenegildo:
Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings
Springer 2010 |
| 190 | | Francisco Bueno,
Jorge Navas,
Manuel V. Hermenegildo:
Towards Parameterized Regular Type Inference Using Set Constraints
CoRR abs/1002.1836: (2010) |
| 2009 |
|---|
| 189 | | Pablo Chico de Guzmán,
Manuel Carro,
Manuel V. Hermenegildo:
A Tabling Implementation Based on Variables with Multiple Bindings.
ICLP 2009: 190-204 |
| 188 | | 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 |
| 187 | | Mark Marron,
Deepak Kapur,
Manuel V. Hermenegildo:
Identification of logically related heap regions.
ISMM 2009: 89-98 |
| 186 | | 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 |
| 185 | | Pablo Chico de Guzmán,
Manuel Carro,
Manuel V. Hermenegildo:
A Program Transformation for Continuation Call-Based Tabled Execution
CoRR abs/0901.3906: (2009) |
| 184 | | Germán Puebla,
Elvira Albert,
Manuel V. Hermenegildo:
Efficient Local Unfolding with Ancestor Stacks
CoRR abs/0911.4047: (2009) |
| 183 | | Jorge 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) |
| 182 | | 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) |
| 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 | | Mark Marron,
Manuel V. Hermenegildo,
Deepak Kapur,
Darko Stefanovic:
Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models.
CC 2008: 245-259 |
| 179 | | 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 | | Eric Trias,
Jorge Navas,
Elena S. Ackley,
Stephanie Forrest,
Manuel V. Hermenegildo:
Negative Ternary Set-Sharing.
ICLP 2008: 301-316 |
| 177 | | Amadeo Casas,
Manuel Carro,
Manuel V. Hermenegildo:
A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism.
ICLP 2008: 651-666 |
| 176 | | 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 | | Mario Méndez-Lojo,
Ondrej Lhoták,
Manuel V. Hermenegildo:
Efficient Set Sharing Using ZBDDs.
LCPC 2008: 47-63 |
| 174 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | José F. Morales,
Manuel Carro,
Manuel V. Hermenegildo:
Comparing tag scheme variations using an abstract machine generator.
PPDP 2008: 32-43 |
| 167 | | Mario Méndez-Lojo,
Manuel V. Hermenegildo:
Precise Set Sharing Analysis for Java-Style Programs.
VMCAI 2008: 172-187 |
| 166 | | 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 | | Manuel V. Hermenegildo:
Automatic granularity-aware parallelization of programs with predicates, functions, and constraints: invited talk.
DAMP 2007: 1 |
| 164 | | Pawel Pietrzak,
Manuel V. Hermenegildo:
Automatic Binding-Related Error Diagnosis in Logic Programs.
ICLP 2007: 333-347 |
| 163 | | 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 | | Amadeo Casas,
Manuel Carro,
Manuel V. Hermenegildo:
Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs.
LOPSTR 2007: 138-153 |
| 161 | | 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 | | 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 | | Amadeo Casas,
Manuel Carro,
Manuel V. Hermenegildo:
Towards a high-level implementation of flexible parallelism primitives for symbolic languages.
PASCO 2007: 93-94 |
| 158 | | Mark Marron,
Darko Stefanovic,
Manuel V. Hermenegildo,
Deepak Kapur:
Heap analysis in the presence of collection libraries.
PASTE 2007: 31-36 |
| 157 | | 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 | | 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 | | 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 | | 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 | | Elvira Albert,
Puri Arenas-Sánchez,
Germán Puebla,
Manuel V. Hermenegildo:
Reduced Certificates for Abstraction-Carrying Code.
ICLP 2006: 163-178 |
| 152 | | 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 | | 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 | | 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 | | Pawel Pietrzak,
Jesús Correas,
Germán Puebla,
Manuel V. Hermenegildo:
Context-Sensitive Multivariant Assertion Checking in Modular Programs.
LPAR 2006: 392-406 |
| 148 | | Jorge Navas,
Francisco Bueno,
Manuel V. Hermenegildo:
Efficient Top-Down Set-Sharing Analysis Using Cliques.
PADL 2006: 183-198 |
| 147 | | 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 | | 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 | | Germán Puebla,
Elvira Albert,
Manuel V. Hermenegildo:
A Generic Framework for the Analysis and Specialization of Logic Programs.
ICLP 2005: 407-409 |
| 143 | | Jesús Correas,
Germán Puebla,
Manuel V. Hermenegildo,
Francisco Bueno:
Experiments in Context-Sensitive Analysis of Modular Programs.
LOPSTR 2005: 163-178 |
| 142 | | Claudio Ochoa,
Germán Puebla,
Manuel V. Hermenegildo:
Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs.
LOPSTR 2005: 80-97 |
| 141 | | Manuel V. Hermenegildo,
Elvira Albert,
Pedro López-García,
Germán Puebla:
Abstraction carrying code and resource-awareness.
PPDP 2005: 1-11 |
| 140 | | Jorge Navas,
Francisco Bueno,
Manuel V. Hermenegildo:
A Study of Set-Sharing Analysis via Clique.
WLPE 2005: 31-45 |
| 139 | | Germán Puebla,
Manuel V. Hermenegildo,
Elvira Albert:
A Generic Framework for the Analysis and Specialization of Logic Programs.
WLPE 2005: 61-76 |
| 138 | | 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 | | Jorge Navas,
Francisco Bueno,
Manuel V. Hermenegildo:
A study of set-sharing analysis via cliques
CoRR abs/cs/0508112: (2005) |
| 136 | | 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 | | 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 | | Daniel Cabeza,
Manuel V. Hermenegildo,
James Lipton:
Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction.
ASIAN 2004: 93-108 |
| 133 | | 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 | | Francisco Bueno,
Pedro López-García,
Manuel V. Hermenegildo:
Multivariant Non-failure Analysis via Standard Abstract Interpretation.
FLOPS 2004: 100-116 |
| 131 | | Elvira Albert,
Germán Puebla,
Manuel V. Hermenegildo:
Abstract Interpretation-Based Mobile Code Certification.
ICLP 2004: 446-447 |
| 130 | | Germán Puebla,
Elvira Albert,
Manuel V. Hermenegildo:
Efficient Local Unfolding with Ancestor Stacks for Full Prolog.
LOPSTR 2004: 149-165 |
| 129 | | 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 | | Elvira Albert,
Germán Puebla,
Manuel V. Hermenegildo:
Abstraction-Carrying Code.
LPAR 2004: 380-397 |
| 127 | | 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 | | 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 | | 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 | | 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 | | 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 | | Germán Puebla,
Manuel V. Hermenegildo:
Abstract specialization and its applications.
PEPM 2003: 29-43 |
| 121 | | 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 | | 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 | | 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 | | 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 | | Susana Muñoz-Hernández,
Juan José Moreno-Navarro,
Manuel V. Hermenegildo:
Efficient Negation Using Abstract Interpretation.
LPAR 2001: 485-494 |
| 115 | | 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 | | Daniel Cabeza Gras,
Manuel V. Hermenegildo:
A New Module System for Prolog.
Computational Logic 2000: 131-148 |
| 105 | | Manuel V. Hermenegildo:
A Documentation Generator for (C)LP Systems.
Computational Logic 2000: 1345-1361 |
| 104 | | 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 | | 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 | | Carlos Carreras,
Manuel V. Hermenegildo:
Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions.
SARA 2000: 107-123 |
| 101 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | Francisco Bueno,
Daniel Cabeza Gras,
Manuel V. Hermenegildo,
Germán Puebla:
Global Analysis of Standard Prolog Programs.
ESOP 1996: 108-124 |
| 73 | | Kish Shen,
Manuel V. Hermenegildo:
Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs.
Euro-Par, Vol. II 1996: 635-639 |
| 72 | | 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 | | Germán Puebla,
Manuel V. Hermenegildo:
Automatic Optimization of Dynamic Scheduling in Logic Programs.
PLILP 1996: 475-476 |
| 69 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | 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 | | Herbert Kuchen,
Juan José Moreno-Navarro,
Manuel V. Hermenegildo:
Independent AND-Parallel Implementation of Narrowing.
PLILP 1992: 24-38 |
| 23 | |
