Manuel V. Hermenegildo Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2010
192no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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
191Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGilles Barthe, Manuel V. Hermenegildo: Verification, Model Checking, and Abstract Interpretation, 11th International Conference, VMCAI 2010, Madrid, Spain, January 17-19, 2010. Proceedings Springer 2010
190Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Bueno, Jorge Navas, Manuel V. Hermenegildo: Towards Parameterized Regular Type Inference Using Set Constraints CoRR abs/1002.1836: (2010)
2009
189Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo: A Tabling Implementation Based on Variables with Multiple Bindings. ICLP 2009: 190-204
188Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdison 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
187Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Marron, Deepak Kapur, Manuel V. Hermenegildo: Identification of logically related heap regions. ISMM 2009: 89-98
186Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo: Towards a Complete Scheme for Tabled Execution Based on Program Transformation. PADL 2009: 224-238
185Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo: A Program Transformation for Continuation Call-Based Tabled Execution CoRR abs/0901.3906: (2009)
184Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermán Puebla, Elvira Albert, Manuel V. Hermenegildo: Efficient Local Unfolding with Ancestor Stacks CoRR abs/0911.4047: (2009)
183Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge 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)
182Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel 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
181no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJacques Garrigue, Manuel V. Hermenegildo: Functional and Logic Programming, 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008. Proceedings Springer 2008
180Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic: Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. CC 2008: 245-259
179Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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
178Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric Trias, Jorge Navas, Elena S. Ackley, Stephanie Forrest, Manuel V. Hermenegildo: Negative Ternary Set-Sharing. ICLP 2008: 301-316
177Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmadeo Casas, Manuel Carro, Manuel V. Hermenegildo: A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. ICLP 2008: 651-666
176Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo 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
175Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Méndez-Lojo, Ondrej Lhoták, Manuel V. Hermenegildo: Efficient Set Sharing Using ZBDDs. LCPC 2008: 47-63
174Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Marron, Darko Stefanovic, Deepak Kapur, Manuel V. Hermenegildo: Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. LCPC 2008: 94-108
173Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPablo 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
172Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. PADL 2008: 230-247
171Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur: Sharing analysis of arrays, collections, and recursive structures. PASTE 2008: 43-49
170Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo: A practical type analysis for verification of modular prolog programs. PEPM 2008: 61-70
169Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdison Mera, Pedro López-García, Manuel Carro, Manuel V. Hermenegildo: Towards execution time estimation in abstract machine-based languages. PPDP 2008: 174-184
168Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé F. Morales, Manuel Carro, Manuel V. Hermenegildo: Comparing tag scheme variations using an abstract machine generator. PPDP 2008: 32-43
167Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario Méndez-Lojo, Manuel V. Hermenegildo: Precise Set Sharing Analysis for Java-Style Programs. VMCAI 2008: 172-187
166Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElvira 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
165Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo: Automatic granularity-aware parallelization of programs with predicates, functions, and constraints: invited talk. DAMP 2007: 1
164Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPawel Pietrzak, Manuel V. Hermenegildo: Automatic Binding-Related Error Diagnosis in Logic Programs. ICLP 2007: 333-347
163Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Navas, Edison Mera, Pedro López-García, Manuel V. Hermenegildo: User-Definable Resource Bounds Analysis for Logic Programs. ICLP 2007: 348-363
162Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. LOPSTR 2007: 138-153
161Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario 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
160Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdison 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
159Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Towards a high-level implementation of flexible parallelism primitives for symbolic languages. PASCO 2007: 93-94
158Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur: Heap analysis in the presence of collection libraries. PASTE 2007: 31-36
157Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdison 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)
156Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMario 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
155Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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
154Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmadeo 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
153Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo: Reduced Certificates for Abstraction-Carrying Code. ICLP 2006: 163-178
152Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEdison 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
151Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMark 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
150Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé F. Morales, Manuel Carro, Manuel V. Hermenegildo: Towards Description and Optimization of Abstract Machines in an Extension of Prolog. LOPSTR 2006: 77-93
149Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo: Context-Sensitive Multivariant Assertion Checking in Modular Programs. LPAR 2006: 392-406
148Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Navas, Francisco Bueno, Manuel V. Hermenegildo: Efficient Top-Down Set-Sharing Analysis Using Cliques. PADL 2006: 183-198
147Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermán Puebla, Elvira Albert, Manuel V. Hermenegildo: Abstract Interpretation with Specialized Definitions. SAS 2006: 107-126
2005
146no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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
145Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé 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
144Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermán Puebla, Elvira Albert, Manuel V. Hermenegildo: A Generic Framework for the Analysis and Specialization of Logic Programs. ICLP 2005: 407-409
143Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno: Experiments in Context-Sensitive Analysis of Modular Programs. LOPSTR 2005: 163-178
142Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Ochoa, Germán Puebla, Manuel V. Hermenegildo: Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. LOPSTR 2005: 80-97
141Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla: Abstraction carrying code and resource-awareness. PPDP 2005: 1-11
140Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Navas, Francisco Bueno, Manuel V. Hermenegildo: A Study of Set-Sharing Analysis via Clique. WLPE 2005: 31-45
139Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermán Puebla, Manuel V. Hermenegildo, Elvira Albert: A Generic Framework for the Analysis and Specialization of Logic Programs. WLPE 2005: 61-76
138Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermán Puebla, Elvira Albert, Manuel V. Hermenegildo: A Generic Framework for the Analysis and Specialization of Logic Programs CoRR abs/cs/0508111: (2005)
137Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJorge Navas, Francisco Bueno, Manuel V. Hermenegildo: A study of set-sharing analysis via cliques CoRR abs/cs/0508112: (2005)
136Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElvira 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)
135Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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
134Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Cabeza, Manuel V. Hermenegildo, James Lipton: Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. ASIAN 2004: 93-108
133Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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
132Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Bueno, Pedro López-García, Manuel V. Hermenegildo: Multivariant Non-failure Analysis via Standard Abstract Interpretation. FLOPS 2004: 100-116
131Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElvira Albert, Germán Puebla, Manuel V. Hermenegildo: Abstract Interpretation-Based Mobile Code Certification. ICLP 2004: 446-447
130Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermán Puebla, Elvira Albert, Manuel V. Hermenegildo: Efficient Local Unfolding with Ancestor Stacks for Full Prolog. LOPSTR 2004: 149-165
129Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro López-García, Francisco Bueno, Manuel V. Hermenegildo: Determinacy Analysis for Logic Programs Using Mode and Type Information. LOPSTR 2004: 19-35
128Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElvira Albert, Germán Puebla, Manuel V. Hermenegildo: Abstraction-Carrying Code. LPAR 2004: 380-397
127Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesú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
126Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJosé F. Morales, Manuel Carro, Manuel V. Hermenegildo: Improved Compilation of Prolog to C Using Moded Types and Determinism Information. PADL 2004: 86-103
125Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermá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
124Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLElvira Albert, Germán Puebla, Manuel V. Hermenegildo: Experiments in abstract interpretation-based code certification for pervasive systems. SMC (2) 2004: 1125-1130
2003
123Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJesú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
122Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermán Puebla, Manuel V. Hermenegildo: Abstract specialization and its applications. PEPM 2003: 29-43
121Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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
120Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Cabeza, Manuel V. Hermenegildo: Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library CoRR cs.DC/0312031: (2003)
2002
119no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo, Germán Puebla: Static Analysis, 9th International Symposium, SAS 2002, Madrid, Spain, September 17-20, 2002, Proceedings Springer 2002
118Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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
117Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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
116Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo: Efficient Negation Using Abstract Interpretation. LPAR 2001: 485-494
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal 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)
114no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLeon Sterling, Lee Naish, Manuel V. Hermenegildo: Guest editor's introduction Special issue on Logic Programming and the Internet. TPLP 1(3): 249-250 (2001)
113no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Cabeza Gras, Manuel V. Hermenegildo: Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library. TPLP 1(3): 251-282 (2001)
2000
112no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski: Analysis and Visualization Tools for Constraint Programming, Constrain Debugging (DiSCiPl project) Springer 2000
111no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski: Introduction. Analysis and Visualization Tools for Constraint Programming 2000: 1-20
110no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermán Puebla, Francisco Bueno, Manuel V. Hermenegildo: An Assertion Language for Constraint Logic Programs. Analysis and Visualization Tools for Constraint Programming 2000: 23-62
109no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Carro, Manuel V. Hermenegildo: Tools for Search-Tree Visualisation: The APT Tool. Analysis and Visualization Tools for Constraint Programming 2000: 237-252
108no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Carro, Manuel V. Hermenegildo: Tools for Constraint Visualisation: The VIFID/TRIFID Tool. Analysis and Visualization Tools for Constraint Programming 2000: 253-272
107no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermá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
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Cabeza Gras, Manuel V. Hermenegildo: A New Module System for Prolog. Computational Logic 2000: 131-148
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo: A Documentation Generator for (C)LP Systems. Computational Logic 2000: 1345-1361
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco 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
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco 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
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Carreras, Manuel V. Hermenegildo: Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions. SARA 2000: 107-123
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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)
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria 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)
99no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo: Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming. Parallel Computing 26(13-14): 1685-1708 (2000)
1999
98no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Carro, Manuel V. Hermenegildo: Concurrency in Prolog Using Threads and a Shared Database. ICLP 1999: 320-334
97no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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
96no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermán Puebla, Francisco Bueno, Manuel V. Hermenegildo: Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. LOPSTR 1999: 273-292
95no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermán Puebla, Manuel V. Hermenegildo, John P. Gallagher: An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. PEPM 1999: 75-84
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco 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)
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermán Puebla, Manuel V. Hermenegildo: Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. Electr. Notes Theor. Comput. Sci. 30(2): (1999)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Cabeza Gras, Manuel V. Hermenegildo: The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library. Electr. Notes Theor. Comput. Sci. 30(3): (1999)
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Cabeza Gras, Manuel V. Hermenegildo: The Ciao Module System: A New Module System for Prolog. Electr. Notes Theor. Comput. Sci. 30(3): (1999)
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo: A System for Automatically Generating Documentation for (C)LP Programs. Electr. Notes Theor. Comput. Sci. 30(4): (1999)
89no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKalyan 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)
88no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermán Puebla, Manuel V. Hermenegildo: Abstract Multiple Specialization and Its Application to Program Parallelization. J. Log. Program. 41(2-3): 279-316 (1999)
1998
87no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Carro, Manuel V. Hermenegildo: Some Design Issues in the Visualization of Constraint Logic Program Execution. APPIA-GULP-PRODE 1998: 71-86
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermán Puebla, Francisco Bueno, Manuel V. Hermenegildo: A Framework for Assertion-Based Debugging in Constraint Logic Programming. CP 1998: 472
85no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco 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
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco 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
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo: Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming. Euro-Par 1997: 31-45
82no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaumya K. Debray, Pedro López-García, Manuel V. Hermenegildo: Non-Failure Analysis for Logic Programs. ICLP 1997: 48-62
81no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin: Lower Bound Cost Estimation for Logic Programs. ILPS 1997: 291-305
80no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo: Programming with Global Analysis (Abstract). ILPS 1997: 49-50
79no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo: Some Challenges for Constraint Programming. Constraints 2(1): 63-69 (1997)
78no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott: Independence in Dynamically Scheduled Logic Languages. ALP 1996: 47-61
76no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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
75no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Cabeza, Manuel V. Hermenegildo: Implementing Distributed Concurrent Constraint Execution in the CIAO System. APPIA-GULP-PRODE 1996: 67-78
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla: Global Analysis of Standard Prolog Programs. ESOP 1996: 108-124
73Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKish Shen, Manuel V. Hermenegildo: Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs. Euro-Par, Vol. II 1996: 635-639
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. 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
71no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermán Puebla, Manuel V. Hermenegildo: Abstract Specialization and Its Application to Program Parallelization. LOPSTR 1996: 169-186
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermán Puebla, Manuel V. Hermenegildo: Automatic Optimization of Dynamic Scheduling in Logic Programs. PLILP 1996: 475-476
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo: Towards Independent And-Parallelism in CLP. PLILP 1996: 77-91
68no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermán Puebla, Manuel V. Hermenegildo: Optimized Algorithms for Incremental Analysis of Logic Programs. SAS 1996: 270-284
67no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo: Some cCallenges for Constraint Programming. ACM Comput. Surv. 28(4es): 64 (1996)
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria 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)
65no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico 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)
64no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo, Manuel Carro: Relating Data-Parallelism and (and-) Parallelism in Logic Programs. Comput. Lang. 22(2/3): 143-163 (1996)
63no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro 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
62no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo, Manuel Carro: Relating Data-Parallelism and (And-) Parallelism in Logic Programs. Euro-Par 1995: 27-41
60no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro: Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. ICLP 1995: 631-645
59no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo, Pedro López-García: Efficient Term Size Computation for Granularity Control. ICLP 1995: 647-661
58no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey: Incremental Analysis of Logic Programs. ICLP 1995: 797-811
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo: &ACE: a high-performance parallel Prolog system. IPPS 1995: 564-571
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGermán Puebla, Manuel V. Hermenegildo: Implementation of Multiple Specialization in Logic Programs. PEPM 1995: 77-87
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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)
54no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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)
53no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice 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
52no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo, Jaan Penjam: Programming Language Implementation and Logic Programming, 6th International Symposium, PLILP'94, Madrid, Spain, September 14-16, 1994, Proceedings Springer 1994
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi: From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. ALP 1994: 114-132
50no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa: ACE: And/Or-parallel Copying-based Execution of Logic Programs. ICLP 1994: 93-109
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. 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
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEnrico 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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLCarlos Carreras, Carlos A. López, Manuel V. Hermenegildo: Analytic Model of a Cache Only Memory Architecture. PARLE 1994: 336-350
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKim Marriott, Maria J. García de la Banda, Manuel V. Hermenegildo: Analyzing Logic Programs with Dynamic Scheduling. POPL 1994: 240-253
43no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo: Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming System. PPCP 1994: 123-133
42no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLUgo 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
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSaumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin: Estimating the Computational Cost of Logic Programs. SAS 1994: 255-265
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Cabeza Gras, Manuel V. Hermenegildo: Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information. SAS 1994: 297-313
39no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco 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
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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
37no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher: Guest Editor's Introduction. J. Log. Program. 19/20: 1-3 (1994)
1993
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel Carro, Luis Manuel Gómez Henríquez, Manuel V. Hermenegildo: Some Paradigms for Visualizing Parallel Execution of Logic Programs. ICLP 1993: 184-200
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKish Shen, Manuel V. Hermenegildo: Divided We Stand: Parallel Distributed Stack Memory Management. ICLP-Workshops on Implementation of Logic Programming Systems 1993: 185-201
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott: Independence in Constraint Logic Programs. ILPS 1993: 130-146
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMaria J. García de la Banda, Manuel V. Hermenegildo: A Practical Approach to the Global Analysis of CLP Programs. ILPS 1993: 437-455
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLM. Olmedilla, Francisco Bueno, Manuel V. Hermenegildo: Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. LOPSTR 1993: 177-195
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael 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
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal 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
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel V. Hermenegildo: The Role of Computational Logic as a Hinge Paradigm among Deduction, Problem Solving, Programming, and Parallelism. AIFIPP 1992: 207-221
28no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrancisco Bueno, Manuel V. Hermenegildo: An Automatic Translation Scheme from Prolog to the Andorra Kernel Language. FGCS 1992: 759-769
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal Gupta, Manuel V. Hermenegildo: Recomputation based Implementations of And-Or Parallel Prolog. FGCS 1992: 770-782
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGopal 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-
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis 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
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHerbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo: Independent AND-Parallel Implementation of Narrowing. PLILP 1992: 24-38
23no EE