The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Manuel V. Hermenegildo: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Saumya K. Debray, Nai-Wei Lin, Manuel V. Hermenegildo
    Task Granularity Analysis in Logic Programs. [Citation Graph (1, 0)][DBLP]
    PLDI, 1990, pp:174-188 [Conf]
  2. Manuel V. Hermenegildo, Richard Warren, Saumya K. Debray
    Global Flow Analysis as a Practical Compilation Tool. [Citation Graph (1, 0)][DBLP]
    J. Log. Program., 1992, v:13, n:4, pp:349-366 [Journal]
  3. 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. [Citation Graph (0, 0)][DBLP]
    AADEBUG, 1997, pp:155-169 [Conf]
  4. Adolfo Guzmán, Manuel V. Hermenegildo
    Constructs and evaluations strategies for intelligent speculative parallelism - armageddon revisited. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer Science, 1988, pp:558-566 [Conf]
  5. Daniel Cabeza, Manuel V. Hermenegildo
    Implementing Distributed Concurrent Constraint Execution in the CIAO System. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:67-78 [Conf]
  6. Manuel Carro, Manuel V. Hermenegildo
    Some Design Issues in the Visualization of Constraint Logic Program Execution. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1998, pp:71-86 [Conf]
  7. 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. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1996, pp:105-110 [Conf]
  8. Manuel V. Hermenegildo
    The Role of Computational Logic as a Hinge Paradigm among Deduction, Problem Solving, Programming, and Parallelism. [Citation Graph (0, 0)][DBLP]
    AIFIPP, 1992, pp:207-221 [Conf]
  9. Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott
    Independence in Dynamically Scheduled Logic Languages. [Citation Graph (0, 0)][DBLP]
    ALP, 1996, pp:47-61 [Conf]
  10. Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi
    From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. [Citation Graph (0, 0)][DBLP]
    ALP, 1994, pp:114-132 [Conf]
  11. Daniel Cabeza, Manuel V. Hermenegildo, James Lipton
    Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. [Citation Graph (0, 0)][DBLP]
    ASIAN, 2004, pp:93-108 [Conf]
  12. Manuel Carro, José F. Morales, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo
    High-level languages for small devices: a case study. [Citation Graph (0, 0)][DBLP]
    CASES, 2006, pp:271-281 [Conf]
  13. Daniel Cabeza Gras, Manuel V. Hermenegildo
    A New Module System for Prolog. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:131-148 [Conf]
  14. Manuel V. Hermenegildo
    A Documentation Generator for (C)LP Systems. [Citation Graph (0, 0)][DBLP]
    Computational Logic, 2000, pp:1345-1361 [Conf]
  15. Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
    Abstract Verification and Debugging of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    International Workshop on Constraint Solving and Constraint Logic Programming, 2002, pp:1-14 [Conf]
  16. Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
    A Framework for Assertion-Based Debugging in Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    CP, 1998, pp:472- [Conf]
  17. Manuel Carro, Manuel V. Hermenegildo
    Tools for Search-Tree Visualisation: The APT Tool. [Citation Graph (0, 0)][DBLP]
    Analysis and Visualization Tools for Constraint Programming, 2000, pp:237-252 [Conf]
  18. Manuel Carro, Manuel V. Hermenegildo
    Tools for Constraint Visualisation: The VIFID/TRIFID Tool. [Citation Graph (0, 0)][DBLP]
    Analysis and Visualization Tools for Constraint Programming, 2000, pp:253-272 [Conf]
  19. Pierre Deransart, Manuel V. Hermenegildo, Jan Maluszynski
    Introduction. [Citation Graph (0, 0)][DBLP]
    Analysis and Visualization Tools for Constraint Programming, 2000, pp:1-20 [Conf]
  20. Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
    An Assertion Language for Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    Analysis and Visualization Tools for Constraint Programming, 2000, pp:23-62 [Conf]
  21. Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
    A Generic Processor for Program Validation and Debugging. [Citation Graph (0, 0)][DBLP]
    Analysis and Visualization Tools for Constraint Programming, 2000, pp:63-107 [Conf]
  22. Francisco Bueno, Daniel Cabeza Gras, Manuel V. Hermenegildo, Germán Puebla
    Global Analysis of Standard Prolog Programs. [Citation Graph (0, 0)][DBLP]
    ESOP, 1996, pp:108-124 [Conf]
  23. M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo
    IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming. [Citation Graph (0, 0)][DBLP]
    Euro-Par, Vol. II, 1996, pp:724-733 [Conf]
  24. Manuel V. Hermenegildo
    Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1997, pp:31-45 [Conf]
  25. 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. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 2004, pp:21-36 [Conf]
  26. Manuel V. Hermenegildo, Manuel Carro
    Relating Data-Parallelism and (And-) Parallelism in Logic Programs. [Citation Graph (0, 0)][DBLP]
    Euro-Par, 1995, pp:27-41 [Conf]
  27. Kish Shen, Manuel V. Hermenegildo
    Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
    Euro-Par, Vol. II, 1996, pp:635-639 [Conf]
  28. Gopal Gupta, Manuel V. Hermenegildo
    Recomputation based Implementations of And-Or Parallel Prolog. [Citation Graph (0, 0)][DBLP]
    FGCS, 1992, pp:770-782 [Conf]
  29. Francisco Bueno, Manuel V. Hermenegildo
    An Automatic Translation Scheme from Prolog to the Andorra Kernel Language. [Citation Graph (0, 0)][DBLP]
    FGCS, 1992, pp:759-769 [Conf]
  30. Francisco Bueno, Pedro López-García, Manuel V. Hermenegildo
    Multivariant Non-failure Analysis via Standard Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2004, pp:100-116 [Conf]
  31. Amadeo Casas, Daniel Cabeza, Manuel V. Hermenegildo
    A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2006, pp:146-162 [Conf]
  32. Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
    Program Debugging and Validation Using Semantic Approximations and Partial Specifications. [Citation Graph (0, 0)][DBLP]
    ICALP, 2002, pp:69-72 [Conf]
  33. Elvira Albert, Puri Arenas-Sánchez, Germán Puebla, Manuel V. Hermenegildo
    Reduced Certificates for Abstraction-Carrying Code. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:163-178 [Conf]
  34. Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
    Abstract Interpretation-Based Mobile Code Certification. [Citation Graph (0, 0)][DBLP]
    ICLP, 2004, pp:446-447 [Conf]
  35. Manuel Carro, Luis Manuel Gómez Henríquez, Manuel V. Hermenegildo
    Some Paradigms for Visualizing Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1993, pp:184-200 [Conf]
  36. Manuel Carro, Manuel V. Hermenegildo
    Concurrency in Prolog Using Threads and a Shared Database. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:320-334 [Conf]
  37. Jesús Correas, J. M. Gómez, Manuel Carro, Daniel Cabeza Gras, Manuel V. Hermenegildo
    A Generic Persistence Model for (C)LP Systems. [Citation Graph (0, 0)][DBLP]
    ICLP, 2003, pp:481-482 [Conf]
  38. Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo
    Non-Failure Analysis for Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1997, pp:48-62 [Conf]
  39. M. J. Fernández, Manuel Carro, Manuel V. Hermenegildo
    IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups. [Citation Graph (0, 0)][DBLP]
    ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs, 1994, pp:107-122 [Conf]
  40. Luis Manuel Gómez Henríquez, Manuel Carro, Manuel V. Hermenegildo
    Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
    IJCSLP Workshop on Concurrent and Parallel Implementations, 1992, pp:- [Conf]
  41. Manuel V. Hermenegildo
    An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:25-39 [Conf]
  42. Manuel V. Hermenegildo
    Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1987, pp:556-575 [Conf]
  43. Manuel V. Hermenegildo, Francisco Bueno, Germán Puebla, Pedro López-García
    Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. [Citation Graph (0, 0)][DBLP]
    ICLP, 1999, pp:52-66 [Conf]
  44. Manuel V. Hermenegildo, Manuel Carro
    A Note on Data-Parallelism and (And-Parallel) Prolog. [Citation Graph (0, 0)][DBLP]
    ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs, 1994, pp:49-64 [Conf]
  45. Manuel V. Hermenegildo, K. J. Greene
    &-Prolog and its Performance: Exploiting Independent And-Parallelism. [Citation Graph (0, 0)][DBLP]
    ICLP, 1990, pp:253-268 [Conf]
  46. Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro
    Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:631-645 [Conf]
  47. Manuel V. Hermenegildo, Pedro López-García
    Efficient Term Size Computation for Granularity Control. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:647-661 [Conf]
  48. Manuel V. Hermenegildo, R. I. Nasr
    Efficient Management of Backtracking in AND-Parallelism. [Citation Graph (0, 0)][DBLP]
    ICLP, 1986, pp:40-54 [Conf]
  49. Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey
    Incremental Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1995, pp:797-811 [Conf]
  50. Manuel V. Hermenegildo, Francesca Rossi
    Non-Strict Independent And-Parallelism. [Citation Graph (0, 0)][DBLP]
    ICLP, 1990, pp:237-252 [Conf]
  51. Gopal Gupta, Manuel V. Hermenegildo
    ACE: And/Or-parallel Copying-based Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP Workshop on Parallel Execution of Logic Programs, 1991, pp:146-158 [Conf]
  52. Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa
    Generalized Stack-copying for And-Or Parallel Execution of Full Prolog. [Citation Graph (0, 0)][DBLP]
    IJCSLP Workshop on Concurrent and Parallel Implementations, 1992, pp:0-0 [Conf]
  53. Gopal Gupta, Manuel V. Hermenegildo, Enrico Pontelli, Vítor Santos Costa
    ACE: And/Or-parallel Copying-based Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 1994, pp:93-109 [Conf]
  54. 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. [Citation Graph (0, 0)][DBLP]
    ICLP, 2006, pp:431-432 [Conf]
  55. José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo
    A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:21-36 [Conf]
  56. Kalyan Muthukumar, Manuel V. Hermenegildo
    Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism. [Citation Graph (0, 0)][DBLP]
    ICLP, 1989, pp:80-97 [Conf]
  57. Kalyan Muthukumar, Manuel V. Hermenegildo
    The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism. [Citation Graph (0, 0)][DBLP]
    ICLP, 1990, pp:221-236 [Conf]
  58. Kalyan Muthukumar, Manuel V. Hermenegildo
    Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    ICLP, 1991, pp:49-63 [Conf]
  59. Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo
    &ACE: the And-parallel Component of ACE (A Progress Report on ACE). [Citation Graph (0, 0)][DBLP]
    ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs, 1994, pp:65-78 [Conf]
  60. Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
    A Generic Framework for the Analysis and Specialization of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2005, pp:407-409 [Conf]
  61. Kish Shen, Manuel V. Hermenegildo
    Divided We Stand: Parallel Distributed Stack Memory Management. [Citation Graph (0, 0)][DBLP]
    ICLP-Workshops on Implementation of Logic Programming Systems, 1993, pp:185-201 [Conf]
  62. Richard Warren, Manuel V. Hermenegildo, Saumya K. Debray
    On the Practicality of Global Flow Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP/SLP, 1988, pp:684-699 [Conf]
  63. Manuel V. Hermenegildo, Evan Tick
    Memory Performance of AND-parallel Prolog on Shared-Memory Architectures. [Citation Graph (0, 0)][DBLP]
    ICPP (2), 1988, pp:17-21 [Conf]
  64. G. Jack Lipovski, Manuel V. Hermenegildo
    B-Log: A Branch and Bound Methodology for the Parallel Execution of Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICPP, 1985, pp:560-567 [Conf]
  65. Enrico Pontelli, Gopal Gupta, Manuel V. Hermenegildo
    &ACE: a high-performance parallel Prolog system. [Citation Graph (0, 0)][DBLP]
    IPPS, 1995, pp:564-571 [Conf]
  66. Jesús Correas, Germán Puebla, Manuel V. Hermenegildo, Francisco Bueno
    Experiments in Context-Sensitive Analysis of Modular Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2005, pp:163-178 [Conf]
  67. 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. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2000, pp:- [Conf]
  68. 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. [Citation Graph (0, 0)][DBLP]
    LOPSTR (LNCS 2042: Selected Papers), 2000, pp:86-102 [Conf]
  69. Pedro López-García, Francisco Bueno, Manuel V. Hermenegildo
    Determinacy Analysis for Logic Programs Using Mode and Type Information. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2004, pp:19-35 [Conf]
  70. Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo
    Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2005, pp:80-97 [Conf]
  71. M. Olmedilla, Francisco Bueno, Manuel V. Hermenegildo
    Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1993, pp:177-195 [Conf]
  72. Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
    Efficient Local Unfolding with Ancestor Stacks for Full Prolog. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2004, pp:149-165 [Conf]
  73. Germán Puebla, Francisco Bueno, Manuel V. Hermenegildo
    Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1999, pp:273-292 [Conf]
  74. 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. [Citation Graph (0, 0)][DBLP]
    Program Development in Computational Logic, 2004, pp:233-260 [Conf]
  75. Germán Puebla, Manuel V. Hermenegildo
    Abstract Specialization and Its Application to Program Parallelization. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 1996, pp:169-186 [Conf]
  76. José F. Morales, Manuel Carro, Manuel V. Hermenegildo
    Towards Description and Optimization of Abstract Machines in an Extension of Prolog. [Citation Graph (0, 0)][DBLP]
    LOPSTR, 2006, pp:77-93 [Conf]
  77. Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
    Abstraction-Carrying Code. [Citation Graph (0, 0)][DBLP]
    LPAR, 2004, pp:380-397 [Conf]
  78. Michael Codish, Maria J. García de la Banda, Maurice Bruynooghe, Manuel V. Hermenegildo
    Goal Dependent versus Goal Independent Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 1994, pp:305-319 [Conf]
  79. Susana Muñoz-Hernández, Juan José Moreno-Navarro, Manuel V. Hermenegildo
    Efficient Negation Using Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:485-494 [Conf]
  80. Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo
    Context-Sensitive Multivariant Assertion Checking in Modular Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 2006, pp:392-406 [Conf]
  81. Jorge Navas, Francisco Bueno, Manuel V. Hermenegildo
    A Study of Set-Sharing Analysis via Clique. [Citation Graph (0, 0)][DBLP]
    WLPE, 2005, pp:31-45 [Conf]
  82. Germán Puebla, Manuel V. Hermenegildo, Elvira Albert
    A Generic Framework for the Analysis and Specialization of Logic Programs. [Citation Graph (0, 0)][DBLP]
    WLPE, 2005, pp:61-76 [Conf]
  83. 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). [Citation Graph (0, 0)][DBLP]
    PADL, 2004, pp:104-119 [Conf]
  84. J. Morales, Manuel Carro, Manuel V. Hermenegildo
    Improved Compilation of Prolog to C Using Moded Types and Determinism Information. [Citation Graph (0, 0)][DBLP]
    PADL, 2004, pp:86-103 [Conf]
  85. Jorge Navas, Francisco Bueno, Manuel V. Hermenegildo
    Efficient Top-Down Set-Sharing Analysis Using Cliques. [Citation Graph (0, 0)][DBLP]
    PADL, 2006, pp:183-198 [Conf]
  86. Edison Mera, Pedro López-García, Germán Puebla, Manuel Carro, Manuel V. Hermenegildo
    Combining Static Analysis and Profiling for Estimating Execution Times. [Citation Graph (0, 0)][DBLP]
    PADL, 2007, pp:140-154 [Conf]
  87. Carlos Carreras, Carlos A. López, Manuel V. Hermenegildo
    Analytic Model of a Cache Only Memory Architecture. [Citation Graph (0, 0)][DBLP]
    PARLE, 1994, pp:336-350 [Conf]
  88. Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
    Improving Abstract Interpretations by Combining Domains. [Citation Graph (0, 0)][DBLP]
    PEPM, 1993, pp:194-205 [Conf]
  89. Germán Puebla, Manuel V. Hermenegildo
    Abstract specialization and its applications. [Citation Graph (0, 0)][DBLP]
    PEPM, 2003, pp:29-43 [Conf]
  90. Germán Puebla, Manuel V. Hermenegildo
    Implementation of Multiple Specialization in Logic Programs. [Citation Graph (0, 0)][DBLP]
    PEPM, 1995, pp:77-87 [Conf]
  91. Germán Puebla, Manuel V. Hermenegildo, John P. Gallagher
    An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. [Citation Graph (0, 0)][DBLP]
    PEPM, 1999, pp:75-84 [Conf]
  92. Fosca Giannotti, Manuel V. Hermenegildo
    A Technique for Recursive Invariance Detection and Selective Program Specification. [Citation Graph (0, 0)][DBLP]
    PLILP, 1991, pp:323-334 [Conf]
  93. Maria J. García de la Banda, Francisco Bueno, Manuel V. Hermenegildo
    Towards Independent And-Parallelism in CLP. [Citation Graph (0, 0)][DBLP]
    PLILP, 1996, pp:77-91 [Conf]
  94. Germán Puebla, Manuel V. Hermenegildo
    Automatic Optimization of Dynamic Scheduling in Logic Programs. [Citation Graph (0, 0)][DBLP]
    PLILP, 1996, pp:475-476 [Conf]
  95. Herbert Kuchen, Juan José Moreno-Navarro, Manuel V. Hermenegildo
    Independent AND-Parallel Implementation of Narrowing. [Citation Graph (0, 0)][DBLP]
    PLILP, 1992, pp:24-38 [Conf]
  96. Kim Marriott, Maria J. García de la Banda, Manuel V. Hermenegildo
    Analyzing Logic Programs with Dynamic Scheduling. [Citation Graph (0, 0)][DBLP]
    POPL, 1994, pp:240-253 [Conf]
  97. Manuel V. Hermenegildo
    Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming System. [Citation Graph (0, 0)][DBLP]
    PPCP, 1994, pp:123-133 [Conf]
  98. 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. [Citation Graph (0, 0)][DBLP]
    PPCP, 1994, pp:151-161 [Conf]
  99. Manuel V. Hermenegildo, Elvira Albert, Pedro López-García, Germán Puebla
    Abstraction carrying code and resource-awareness. [Citation Graph (0, 0)][DBLP]
    PPDP, 2005, pp:1-11 [Conf]
  100. Carlos Carreras, Manuel V. Hermenegildo
    Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions. [Citation Graph (0, 0)][DBLP]
    SARA, 2000, pp:107-123 [Conf]
  101. Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin
    Estimating the Computational Cost of Logic Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 1994, pp:255-265 [Conf]
  102. Maria J. García de la Banda, Manuel V. Hermenegildo
    A Practical Application of Sharing and Freeness Inference. [Citation Graph (0, 0)][DBLP]
    WSA, 1992, pp:118-125 [Conf]
  103. Daniel Cabeza Gras, Manuel V. Hermenegildo
    Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information. [Citation Graph (0, 0)][DBLP]
    SAS, 1994, pp:297-313 [Conf]
  104. Manuel V. Hermenegildo, Germán Puebla, Francisco Bueno, Pedro López-García
    Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). [Citation Graph (0, 0)][DBLP]
    SAS, 2003, pp:127-152 [Conf]
  105. Germán Puebla, Elvira Albert, Manuel V. Hermenegildo
    Abstract Interpretation with Specialized Definitions. [Citation Graph (0, 0)][DBLP]
    SAS, 2006, pp:107-126 [Conf]
  106. Germán Puebla, Manuel V. Hermenegildo
    Optimized Algorithms for Incremental Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    SAS, 1996, pp:270-284 [Conf]
  107. Francisco Bueno, Maria J. García de la Banda, Manuel V. Hermenegildo
    Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. [Citation Graph (0, 0)][DBLP]
    SLP, 1994, pp:320-336 [Conf]
  108. Maria J. García de la Banda, Manuel V. Hermenegildo
    A Practical Approach to the Global Analysis of CLP Programs. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:437-455 [Conf]
  109. Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott
    Independence in Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    ILPS, 1993, pp:130-146 [Conf]
  110. Saumya K. Debray, Pedro López-García, Manuel V. Hermenegildo, Nai-Wei Lin
    Lower Bound Cost Estimation for Logic Programs. [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:291-305 [Conf]
  111. Gopal Gupta, Vítor Santos Costa, Rong Yang, Manuel V. Hermenegildo
    IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism. [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:152-166 [Conf]
  112. Manuel V. Hermenegildo
    Programming with Global Analysis (Abstract). [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:49-50 [Conf]
  113. Manuel V. Hermenegildo, Daniel Cabeza Gras, Manuel Carro
    Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems. [Citation Graph (0, 0)][DBLP]
    Workshop on Design and Impl. of Parallel Logic Programming Systems, 1994, pp:42-53 [Conf]
  114. Manuel V. Hermenegildo, Francesca Rossi
    On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs. [Citation Graph (0, 0)][DBLP]
    NACLP, 1989, pp:369-389 [Conf]
  115. Kalyan Muthukumar, Manuel V. Hermenegildo
    Determination of Variable Dependence Information through Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    NACLP, 1989, pp:166-185 [Conf]
  116. Kish Shen, Manuel V. Hermenegildo
    A Simulation Study of Or- and and Independent And-parallelism. [Citation Graph (0, 0)][DBLP]
    ISLP, 1991, pp:135-151 [Conf]
  117. Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
    Experiments in abstract interpretation-based code certification for pervasive systems. [Citation Graph (0, 0)][DBLP]
    SMC (2), 2004, pp:1125-1130 [Conf]
  118. Manuel V. Hermenegildo, Manuel Carro
    Relating Data-Parallelism and (and-) Parallelism in Logic Programs. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1996, v:22, n:2/3, pp:143-163 [Journal]
  119. Enrico Pontelli, Gopal Gupta, Dongxing Tang, Manuel Carro, Manuel V. Hermenegildo
    Improving the Efficiency of Nondeterministic Independent and-Parallel Systems. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 1996, v:22, n:2/3, pp:115-142 [Journal]
  120. Manuel V. Hermenegildo
    Some Challenges for Constraint Programming. [Citation Graph (0, 0)][DBLP]
    Constraints, 1997, v:2, n:1, pp:63-69 [Journal]
  121. Daniel Cabeza, Manuel V. Hermenegildo
    Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  122. Manuel V. Hermenegildo
    Some cCallenges for Constraint Programming. [Citation Graph (0, 0)][DBLP]
    ACM Comput. Surv., 1996, v:28, n:4es, pp:64- [Journal]
  123. Elvira Albert, Germán Puebla, Manuel V. Hermenegildo
    An Abstract Interpretation-based Approach to Mobile Code Safety. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:132, n:1, pp:113-129 [Journal]
  124. Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher
    Guest Editors' Introduction: Special Section: Ten Years of Logic Programming. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1995, v:23, n:2, pp:87-88 [Journal]
  125. Maurice Bruynooghe, Saumya K. Debray, Manuel V. Hermenegildo, Michael J. Maher
    Guest Editor's Introduction. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1994, v:19, n:, pp:1-3 [Journal]
  126. Michael Codish, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
    Exploiting Goal Independence in the Analysis of Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1997, v:32, n:3, pp:247-261 [Journal]
  127. Manuel V. Hermenegildo, Francesca Rossi
    Strict and Nonstrict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1995, v:22, n:1, pp:1-45 [Journal]
  128. 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. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:38, n:2, pp:165-218 [Journal]
  129. Kalyan Muthukumar, Manuel V. Hermenegildo
    Compile-Time Derivation of Variable Dependency Using Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1992, v:13, n:2&3, pp:315-347 [Journal]
  130. Germán Puebla, Manuel V. Hermenegildo
    Abstract Multiple Specialization and Its Application to Program Parallelization. [Citation Graph (0, 0)][DBLP]
    J. Log. Program., 1999, v:41, n:2-3, pp:279-316 [Journal]
  131. Pedro López-García, Manuel V. Hermenegildo, Saumya K. Debray
    A Methodology for Granularity-Based Control of Parallelism in Logic Programs. [Citation Graph (0, 0)][DBLP]
    J. Symb. Comput., 1996, v:21, n:4, pp:715-734 [Journal]
  132. Gopal Gupta, Manuel V. Hermenegildo, Vítor Santos Costa
    And-Or Parallel Prolog: A Recomputation Based Approach. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1993, v:11, n:3, pp:297-321 [Journal]
  133. Manuel V. Hermenegildo, K. J. Greene
    The &-Prolog System: Exploiting Independent And-Parallelism. [Citation Graph (0, 0)][DBLP]
    New Generation Comput., 1991, v:9, n:3/4, pp:233-256 [Journal]
  134. Manuel V. Hermenegildo
    Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming. [Citation Graph (0, 0)][DBLP]
    Parallel Computing, 2000, v:26, n:13-14, pp:1685-1708 [Journal]
  135. Francisco Bueno, Manuel V. Hermenegildo, Ugo Montanari, Francesca Rossi
    Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 1998, v:30, n:1-2, pp:51-82 [Journal]
  136. 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). [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:58, n:1-2, pp:115-140 [Journal]
  137. Germán Puebla, Manuel V. Hermenegildo
    Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:2, pp:- [Journal]
  138. Daniel Cabeza Gras, Manuel V. Hermenegildo
    The Ciao Module System: A New Module System for Prolog. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:3, pp:- [Journal]
  139. Daniel Cabeza Gras, Manuel V. Hermenegildo
    The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:3, pp:- [Journal]
  140. Manuel V. Hermenegildo
    A System for Automatically Generating Documentation for (C)LP Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:4, pp:- [Journal]
  141. Maria J. García de la Banda, Manuel V. Hermenegildo, Maurice Bruynooghe, Veroniek Dumortier, Gerda Janssens, Wim Simoens
    Global Analysis of Constraint Logic Programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1996, v:18, n:5, pp:564-614 [Journal]
  142. 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. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1999, v:21, n:2, pp:189-239 [Journal]
  143. Maria J. García de la Banda, Manuel V. Hermenegildo, Kim Marriott
    Independence in CLP languages. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2000, v:22, n:2, pp:296-339 [Journal]
  144. Michael Codish, Anne Mulkers, Maurice Bruynooghe, Maria J. García de la Banda, Manuel V. Hermenegildo
    Improving Abstract Interpretations by Combining Domains. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1995, v:17, n:1, pp:28-44 [Journal]
  145. Gopal Gupta, Enrico Pontelli, Khayri A. M. Ali, Mats Carlsson, Manuel V. Hermenegildo
    Parallel execution of prolog programs: a survey. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2001, v:23, n:4, pp:472-602 [Journal]
  146. Manuel V. Hermenegildo, Germán Puebla, Kim Marriott, Peter J. Stuckey
    Incremental analysis of constraint logic programs. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2000, v:22, n:2, pp:187-223 [Journal]
  147. Daniel Cabeza Gras, Manuel V. Hermenegildo
    Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library. [Citation Graph (0, 0)][DBLP]
    TPLP, 2001, v:1, n:3, pp:251-282 [Journal]
  148. Leon Sterling, Lee Naish, Manuel V. Hermenegildo
    Guest editor's introduction Special issue on Logic Programming and the Internet. [Citation Graph (0, 0)][DBLP]
    TPLP, 2001, v:1, n:3, pp:249-250 [Journal]
  149. Jorge Navas, Edison Mera, Pedro López-García, Manuel V. Hermenegildo
    User-Definable Resource Bounds Analysis for Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:348-363 [Conf]
  150. Pawel Pietrzak, Manuel V. Hermenegildo
    Automatic Binding-Related Error Diagnosis in Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:333-347 [Conf]
  151. Mark Marron, Deepak Kapur, Darko Stefanovic, Manuel V. Hermenegildo
    A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework. [Citation Graph (0, 0)][DBLP]
    LCPC, 2006, pp:345-363 [Conf]
  152. Mark Marron, Darko Stefanovic, Manuel V. Hermenegildo, Deepak Kapur
    Heap analysis in the presence of collection libraries. [Citation Graph (0, 0)][DBLP]
    PASTE, 2007, pp:31-36 [Conf]
  153. 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 [Citation Graph (0, 0)][DBLP]
    CoRR, 2007, v:0, n:, pp:- [Journal]
  154. Mario Méndez, Jorge Navas, Manuel V. Hermenegildo
    An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:1, pp:51-66 [Journal]

  155. An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. [Citation Graph (, )][DBLP]


  156. Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. [Citation Graph (, )][DBLP]


  157. Negative Ternary Set-Sharing. [Citation Graph (, )][DBLP]


  158. A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. [Citation Graph (, )][DBLP]


  159. A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. [Citation Graph (, )][DBLP]


  160. A Tabling Implementation Based on Variables with Multiple Bindings. [Citation Graph (, )][DBLP]


  161. Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. [Citation Graph (, )][DBLP]


  162. Titlepage, Table of Contents, Conference Organization. [Citation Graph (, )][DBLP]


  163. Introduction to the Technical Communications of the 26th International Conference on Logic Programming. [Citation Graph (, )][DBLP]


  164. An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring. [Citation Graph (, )][DBLP]


  165. Towards Data-Aware QoS-driven Adaptation for Service Orchestrations. [Citation Graph (, )][DBLP]


  166. Towards a high-level implementation of flexible parallelism primitives for symbolic languages. [Citation Graph (, )][DBLP]


  167. Identification of logically related heap regions. [Citation Graph (, )][DBLP]


  168. Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. [Citation Graph (, )][DBLP]


  169. Efficient Set Sharing Using ZBDDs. [Citation Graph (, )][DBLP]


  170. Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. [Citation Graph (, )][DBLP]


  171. A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs. [Citation Graph (, )][DBLP]


  172. Program Parallelization Using Synchronized Pipelining. [Citation Graph (, )][DBLP]


  173. Towards a Complete Scheme for Tabled Execution Based on Program Transformation. [Citation Graph (, )][DBLP]


  174. Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. [Citation Graph (, )][DBLP]


  175. An Improved Continuation Call-Based Implementation of Tabling. [Citation Graph (, )][DBLP]


  176. Sharing analysis of arrays, collections, and recursive structures. [Citation Graph (, )][DBLP]


  177. A practical type analysis for verification of modular prolog programs. [Citation Graph (, )][DBLP]


  178. Automatic granularity-aware parallelization of programs with predicates, functions, and constraints: invited talk. [Citation Graph (, )][DBLP]


  179. Comparing tag scheme variations using an abstract machine generator. [Citation Graph (, )][DBLP]


  180. Towards execution time estimation in abstract machine-based languages. [Citation Graph (, )][DBLP]


  181. Precise Set Sharing Analysis for Java-Style Programs. [Citation Graph (, )][DBLP]


  182. A Generic Framework for the Analysis and Specialization of Logic Programs [Citation Graph (, )][DBLP]


  183. A study of set-sharing analysis via cliques [Citation Graph (, )][DBLP]


  184. A Program Transformation for Continuation Call-Based Tabled Execution [Citation Graph (, )][DBLP]


  185. Efficient Local Unfolding with Ancestor Stacks [Citation Graph (, )][DBLP]


  186. Towards Parameterized Regular Type Inference Using Set Constraints [Citation Graph (, )][DBLP]


  187. Introduction to the 26th International Conference on Logic Programming Special Issue [Citation Graph (, )][DBLP]


  188. User-Definable Resource Usage Bounds Analysis for Java Bytecode. [Citation Graph (, )][DBLP]


Search in 0.109secs, Finished in 0.119secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002