dblp.uni-trier.dewww.uni-trier.de

Manuel V. Hermenegildo Vis

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

*2009
186EEPablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo: A Tabling Implementation Based on Variables with Multiple Bindings. ICLP 2009: 190-204
185EEEdison 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
184EEMark Marron, Deepak Kapur, Manuel V. Hermenegildo: Identification of logically related heap regions. ISMM 2009: 89-98
183EEPablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo: Towards a Complete Scheme for Tabled Execution Based on Program Transformation. PADL 2009: 224-238
182EEPablo 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
180EEMark Marron, Manuel V. Hermenegildo, Deepak Kapur, Darko Stefanovic: Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. CC 2008: 245-259
179EEManuel 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
178EEEric Trias, Jorge Navas, Elena S. Ackley, Stephanie Forrest, Manuel V. Hermenegildo: Negative Ternary Set-Sharing. ICLP 2008: 301-316
177EEAmadeo Casas, Manuel Carro, Manuel V. Hermenegildo: A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. ICLP 2008: 651-666
176EEPablo 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
175EEMario Méndez-Lojo, Ondrej Lhoták, Manuel V. Hermenegildo: Efficient Set Sharing Using ZBDDs. LCPC 2008: 47-63
174EEMark Marron, Darko Stefanovic, Deepak Kapur, Manuel V. Hermenegildo: Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. LCPC 2008: 94-108
173EEPablo 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
172EEAmadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. PADL 2008: 230-247
171EEMark Marron, Mario Méndez-Lojo, Manuel V. Hermenegildo, Darko Stefanovic, Deepak Kapur: Sharing analysis of arrays, collections, and recursive structures. PASTE 2008: 43-49
170EEPawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo: A practical type analysis for verification of modular prolog programs. PEPM 2008: 61-70
169EEEdison Mera, Pedro López-García, Manuel Carro, Manuel V. Hermenegildo: Towards execution time estimation in abstract machine-based languages. PPDP 2008: 174-184
168EEJosé F. Morales, Manuel Carro, Manuel V. Hermenegildo: Comparing tag scheme variations using an abstract machine generator. PPDP 2008: 32-43
167EEMario Méndez-Lojo, Manuel V. Hermenegildo: Precise Set Sharing Analysis for Java-Style Programs. VMCAI 2008: 172-187
166EEElvira 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
165EEManuel V. Hermenegildo: Automatic granularity-aware parallelization of programs with predicates, functions, and constraints: invited talk. DAMP 2007: 1
164EEPawel Pietrzak, Manuel V. Hermenegildo: Automatic Binding-Related Error Diagnosis in Logic Programs. ICLP 2007: 333-347
163EEJorge Navas, Edison Mera, Pedro López-García, Manuel V. Hermenegildo: User-Definable Resource Bounds Analysis for Logic Programs. ICLP 2007: 348-363
162EEAmadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. LOPSTR 2007: 138-153
161EEMario 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
160EEEdison 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
159EEAmadeo Casas, Manuel Carro, Manuel V. Hermenegildo: Towards a high-level implementation of flexible parallelism primitives for symbolic languages. PASCO 2007: 93-94
158EEMark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur: Heap analysis in the presence of collection libraries. PASTE 2007: 31-36
157EEEdison 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)
156EEMario 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
155EEManuel 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
154EEAmadeo 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
153EEElvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo: Reduced Certificates for Abstraction-Carrying Code. ICLP 2006: 163-178
152EEEdison 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
151EEMark 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
150EEJosé F. Morales, Manuel Carro, Manuel V. Hermenegildo: Towards Description and Optimization of Abstract Machines in an Extension of Prolog. LOPSTR 2006: 77-93
149EEPawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo: Context-Sensitive Multivariant Assertion Checking in Modular Programs. LPAR 2006: 392-406
148EEJorge Navas, Francisco Bueno, Manuel V. Hermenegildo: Efficient Top-Down Set-Sharing Analysis Using Cliques. PADL 2006: 183-198
147EEGermá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
145EEJosé 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
144EEGermán Puebla, Elvira Albert, Manuel V. Hermenegildo: A Generic Framework for the Analysis and Specialization of Logic Programs. ICLP 2005: 407-409
143EEJesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno: Experiments in Context-Sensitive Analysis of Modular Programs. LOPSTR 2005: 163-178
142EEClaudio Ochoa, Germán Puebla, Manuel V. Hermenegildo: Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. LOPSTR 2005: 80-97
141EEManuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla: Abstraction carrying code and resource-awareness. PPDP 2005: 1-11
140EEJorge Navas, Francisco Bueno, Manuel V. Hermenegildo: A Study of Set-Sharing Analysis via Clique. WLPE 2005: 31-45
139EEGermán Puebla, Manuel V. Hermenegildo, Elvira Albert: A Generic Framework for the Analysis and Specialization of Logic Programs. WLPE 2005: 61-76
138EEGermán Puebla, Elvira Albert, Manuel V. Hermenegildo: A Generic Framework for the Analysis and Specialization of Logic Programs CoRR abs/cs/0508111: (2005)
137EEJorge Navas, Francisco Bueno, Manuel V. Hermenegildo: A study of set-sharing analysis via cliques CoRR abs/cs/0508112: (2005)
136EEElvira 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)
135EEManuel 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
134EEDaniel Cabeza, Manuel V. Hermenegildo, James Lipton: Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. ASIAN 2004: 93-108
133EEManuel 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
132EEFrancisco Bueno, Pedro López-García, Manuel V. Hermenegildo: Multivariant Non-failure Analysis via Standard Abstract Interpretation. FLOPS 2004: 100-116
131EEElvira Albert, Germán Puebla, Manuel V. Hermenegildo: Abstract Interpretation-Based Mobile Code Certification. ICLP 2004: 446-447
130EEGermán Puebla, Elvira Albert, Manuel V. Hermenegildo: Efficient Local Unfolding with Ancestor Stacks for Full Prolog. LOPSTR 2004: 149-165
129EEPedro López-García, Francisco Bueno, Manuel V. Hermenegildo: Determinacy Analysis for Logic Programs Using Mode and Type Information. LOPSTR 2004: 19-35
128EEElvira Albert, Germán Puebla, Manuel V. Hermenegildo: Abstraction-Carrying Code. LPAR 2004: 380-397
127EEJesú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
126EEJosé F. Morales, Manuel Carro, Manuel V. Hermenegildo: Improved Compilation of Prolog to C Using Moded Types and Determinism Information. PADL 2004: 86-103
125EEGermá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
124EEElvira Albert, Germán Puebla, Manuel V. Hermenegildo: Experiments in abstract interpretation-based code certification for pervasive systems. SMC (2) 2004: 1125-1130
2003
123EEJesú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
122EEGermán Puebla, Manuel V. Hermenegildo: Abstract specialization and its applications. PEPM 2003: 29-43
121EEManuel 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
120EEDaniel 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
118EEManuel 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
117EEManuel 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
116EESusana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo: Efficient Negation Using Abstract Interpretation. LPAR 2001: 485-494
115EEGopal 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
106EEDaniel Cabeza Gras, Manuel V. Hermenegildo: A New Module System for Prolog. Computational Logic 2000: 131-148
105EEManuel V. Hermenegildo: A Documentation Generator for (C)LP Systems. Computational Logic 2000: 1345-1361
104EEFrancisco 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
103EEFrancisco 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
102EECarlos Carreras, Manuel V. Hermenegildo: Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions. SARA 2000: 107-123
101EEManuel 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)
100EEMaria 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
94EEFrancisco 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)
93EEGermán Puebla, Manuel V. Hermenegildo: Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. Electr. Notes Theor. Comput. Sci. 30(2): (1999)
92EEDaniel Cabeza Gras, Manuel V. Hermenegildo: The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library. Electr. Notes Theor. Comput. Sci. 30(3): (1999)
91EEDaniel Cabeza Gras, Manuel V. Hermenegildo: The Ciao Module System: A New Module System for Prolog. Electr. Notes Theor. Comput. Sci. 30(3): (1999)
90EEManuel 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
86EEGermá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
84EEFrancisco 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
83EEManuel 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
77EEMaria 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
74EEFrancisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla: Global Analysis of Standard Prolog Programs. ESOP 1996: 108-124
73EEKish Shen, Manuel V. Hermenegildo: Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs. Euro-Par, Vol. II 1996: 635-639
72EEM. 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
70EEGermán Puebla, Manuel V. Hermenegildo: Automatic Optimization of Dynamic Scheduling in Logic Programs. PLILP 1996: 475-476
69EEMaria 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)
66EEMaria 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
61EEManuel 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
57EEEnrico 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
55EEMichael 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
51EEFrancisco 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
49EEM. 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
48EEManuel 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
47EEEnrico 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
46EEMichael 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
24EEHerbert 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
16EEFosca 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
7EEAdolfo 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

Coauthor Index

1Elena S. Ackley [178]
2Elvira Albert [124] [128] [130] [131] [133] [136] [138] [139] [141] [144] [147] [153] [166]
3Khayri A. M. Ali [115]
4Puri Arenas (Puri Arenas-Sánchez) [153]
5Maria Garcia de la Banda (Maria J. García de la Banda) [23] [31] [33] [34] [39] [42] [44] [46] [55] [66] [69] [76] [77] [78] [89] [94] [100] [103] [104] [125]
6Maurice Bruynooghe [31] [37] [46] [53] [55] [66] [78]
7Francisco Bueno [28] [32] [39] [42] [51] [69] [74] [76] [84] [85] [86] [89] [94] [96] [97] [103] [104] [107] [110] [117] [118] [121] [125] [129] [132] [135] [137] [140] [143] [148] [179]
8Daniel Cabeza (Daniel Cabeza Gras) [38] [40] [60] [74] [75] [76] [91] [92] [106] [113] [120] [123] [127] [134] [146] [154]
9Mats Carlsson [115]
10Carlos Carreras [45] [102]
11Manuel Carro [25] [36] [38] [48] [49] [60] [61] [64] [65] [72] [76] [87] [98] [108] [109] [123] [126] [127] [145] [150] [152] [155] [157] [159] [160] [162] [168] [169] [172] [173] [176] [177] [179] [182] [183] [186]
12Amadeo Casas [154] [159] [162] [172] [177]
13Michael Codish [31] [46] [55] [78]
14Jesús Correas [123] [125] [127] [143] [149] [170]
15Vítor Santos Costa [17] [26] [30] [50]
16Saumya K. Debray [6] [11] [21] [37] [41] [53] [63] [81] [82]
17Pierre Deransart [84] [111] [112]
18Wlodzimierz Drabent (Wlodek Drabent) [84]
19Veroniek Dumortier [66]
20M. J. Fernández [49] [72]
21Gérard Ferrand [84]
22Stephanie Forrest [178]
23John P. Gallagher [95]
24Jacques Garrigue [181]
25Fosca Giannotti [16]
26J. M. Gómez [123] [127]
27K. J. Greene [12] [15]
28Gopal Gupta [17] [19] [26] [27] [30] [47] [50] [57] [65] [115]
29Pablo Chico de Guzmán [173] [176] [182] [183] [186]
30Adolfo Guzmán-Arenas (Adolfo Guzmán) [7]
31Luis Manuel Gómez Henríquez [25] [36]
32Gerda Janssens [66]
33Deepak Kapur [151] [158] [171] [174] [180] [184]
34Herbert Kuchen [24]
35Ondrej Lhoták [175]
36Nai-Wei Lin [11] [41] [81]
37G. Jack Lipovski [1]
38James Lipton [134]
39Carlos A. López [45]
40Pedro López-García [41] [59] [63] [76] [81] [82] [97] [117] [118] [121] [129] [132] [133] [135] [141] [152] [157] [160] [163] [169] [179] [185]
41Michael J. Maher [37] [53]
42Jan Maluszynski [84] [111] [112]
43Kim Marriott [34] [44] [58] [77] [100] [101] [103] [104] [125]
44Mark Marron [151] [158] [171] [174] [180] [184]
45Mario Méndez-Lojo [156] [161] [167] [171] [175]
46Edison Mera [152] [157] [160] [163] [169] [185]
47Ugo Montanari [42] [51] [85]
48José F. Morales [126] [145] [150] [155] [168] [179]
49Juan José Moreno-Navarro [24] [116]
50Anne Mulkers [31] [55]
51Henk L. Muller [155]
52Susana Muñoz-Hernández [116]
53Kalyan Muthukumar [9] [10] [14] [20] [22] [89]
54Lee Naish [114]
55R. I. Nasr [2]
56Jorge Navas [137] [140] [148] [156] [161] [163] [178]
57Claudio Ochoa [142]
58M. Olmedilla [32]
59Jaan Penjam [52]
60Pawel Pietrzak [149] [164] [170]
61Enrico Pontelli [47] [50] [57] [65] [115]
62Germán Puebla (German Puebla) [56] [58] [68] [70] [71] [74] [76] [84] [86] [88] [93] [95] [96] [97] [101] [103] [104] [107] [110] [117] [118] [119] [121] [122] [124] [125] [128] [130] [131] [133] [135] [136] [138] [139] [141] [142] [143] [144] [145] [147] [149] [152] [153] [155] [157] [160] [166] [170] [179]
63Ricardo Rocha [173]
64Francesca Rossi [8] [13] [42] [51] [54] [85]
65Kish Shen [18] [35] [73]
66Cláudio Silva [173]
67Wim Simoens [66]
68Darko Stefanovic [151] [158] [171] [174] [180]
69Leon Sterling [114]
70Peter J. Stuckey [58] [101] [103] [104] [125]
71S. Doaitse Swierstra [62]
72Dongxing Tang [65]
73Evan Tick [5]
74Eric Trias [178]
75Richard Warren [6] [21]
76Rong Yang [17]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)