B-Log: A Branch and Bound Methodology for the Parallel Execution of Logic Programs. - G. Jack Lipovski; Manuel V. Hermenegildo (ICPP, 1985)

An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs. - Manuel V. Hermenegildo (ICLP, 1986)

Efficient Management of Backtracking in AND-Parallelism. - Manuel V. Hermenegildo; R. I. Nasr (ICLP, 1986)

An abstract machine based execution model for computer architecture design and efficient implementation of logic programs in parallel. - Manuel V. Hermenegildo (1986)

Relating Goal-Scheduling, Precedence, and Memory Management in AND-Parallel Execution of Logic Programs. - Manuel V. Hermenegildo (ICLP, 1987)

Designing a high performance parallel logic programming system. - Manuel V. Hermenegildo; Richard A. Warren (SIGARCH Comput. Archit. News, 1987)

Constructs and evaluations strategies for intelligent speculative parallelism - armageddon revisited. - Adolfo Guzmán; Manuel V. Hermenegildo (ACM Conference on Computer Science, 1988)

On the Practicality of Global Flow Analysis of Logic Programs. - Richard A. Warren; Manuel V. Hermenegildo; Saumya K. Debray (ICLP/SLP, 1988)

Memory Performance of AND-parallel Prolog on Shared-Memory Architectures. - Manuel V. Hermenegildo; Evan Tick (ICPP (2), 1988)

Complete and Efficient Methods for Supporting Side-effects in Independent/Restricted AND-Parallelism. - Kalyan Muthukumar; Manuel V. Hermenegildo (ICLP, 1989)

On the Correctness and Efficiency of Independent And-Parallelism in Logic Programs. - Manuel V. Hermenegildo; Francesca Rossi 001 (NACLP, 1989)

Determination of Variable Dependence Information through Abstract Interpretation. - Kalyan Muthukumar; Manuel V. Hermenegildo (NACLP, 1989)

Memory referencing characteristics and caching performance of AND-Parallel Prolog on shared-memory multiprocessors. - Manuel V. Hermenegildo; Evan Tick (New Gener. Comput., 1989)

&-Prolog and its Performance: Exploiting Independent And-Parallelism. - Manuel V. Hermenegildo; K. J. Greene (ICLP, 1990)

Non-Strict Independent And-Parallelism. - Manuel V. Hermenegildo; Francesca Rossi 001 (ICLP, 1990)

The DCG, UDG, and MEL Methods for Automatic Compile-time Parallelization of Logic Programs for Independent And-parallelism. - Kalyan Muthukumar; Manuel V. Hermenegildo (ICLP, 1990)

Task Granularity Analysis in Logic Programs. - Saumya K. Debray; Nai-Wei Lin; Manuel V. Hermenegildo (PLDI, 1990)

ACE: And/Or-parallel Copying-based Execution of Logic Programs. - Gopal Gupta 001; Manuel V. Hermenegildo (ICLP Workshop on Parallel Execution of Logic Programs, 1991)

Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation. - Kalyan Muthukumar; Manuel V. Hermenegildo (ICLP, 1991)

A Technique for Recursive Invariance Detection and Selective Program Specification. - Fosca Giannotti; Manuel V. Hermenegildo (PLILP, 1991)

IDIOM: Integrating Dependent And-, Independent And-, and Or-parallelism. - Gopal Gupta 001; Vítor Santos Costa; Rong Yang 004; Manuel V. Hermenegildo (ISLP, 1991)

A Simulation Study of Or- and and Independent And-parallelism. - Kish Shen; Manuel V. Hermenegildo (ISLP, 1991)

The &-Prolog System: Exploiting Independent And-Parallelism. - Manuel V. Hermenegildo; K. J. Greene (New Gener. Comput., 1991)

The Role of Computational Logic as a Hinge Paradigm among Deduction, Problem Solving, Programming, and Parallelism. - Manuel V. Hermenegildo (AIFIPP, 1992)

An Automatic Translation Scheme from Prolog to the Andorra Kernel Language. - Francisco Bueno; Manuel V. Hermenegildo (FGCS, 1992)

Recomputation based Implementations of And-Or Parallel Prolog. - Gopal Gupta 001; Manuel V. Hermenegildo (FGCS, 1992)

Implementation of an Event Driven Scheme for Visualizing Parallel Execution of Logic Programs. - Luis Manuel Gómez Henríquez; Manuel Carro; Manuel V. Hermenegildo (IJCSLP Workshop on Concurrent and Parallel Implementations, 1992)

Generalized Stack-copying for And-Or Parallel Execution of Full Prolog. - Gopal Gupta 001; Manuel V. Hermenegildo; Vítor Santos Costa (IJCSLP Workshop on Concurrent and Parallel Implementations, 1992)

Independent AND-Parallel Implementation of Narrowing. - Herbert Kuchen; Juan José Moreno-Navarro; Manuel V. Hermenegildo (PLILP, 1992)

A Practical Application of Sharing and Freeness Inference. - Maria J. García de la Banda; Manuel V. Hermenegildo (WSA, 1992)

Global Flow Analysis as a Practical Compilation Tool. - Manuel V. Hermenegildo; Richard A. Warren; Saumya K. Debray (J. Log. Program., 1992)

Compile-Time Derivation of Variable Dependency Using Abstract Interpretation. - Kalyan Muthukumar; Manuel V. Hermenegildo (J. Log. Program., 1992)

Independence in Constraint Logic Programs. - Maria J. García de la Banda; Manuel V. Hermenegildo; Kim Marriott (ICLP Workshop on Concurrent Constraint Programming, 1993)

Some Paradigms for Visualizing Parallel Execution of Logic Programs. - Manuel Carro; Luis Manuel Gómez Henríquez; Manuel V. Hermenegildo (ICLP, 1993)

Contextual Nets and Constraint Logic Programming. - Ugo Montanari; Francesca Rossi 001; Francisco Bueno; Maria J. García de la Banda; Manuel V. Hermenegildo (ICLP Workshop on Concurrent Constraint Programming, 1993)

Divided We Stand: Parallel Distributed Stack Memory Management. - Kish Shen; Manuel V. Hermenegildo (ICLP-Workshops on Implementation of Logic Programming Systems, 1993)

Automatic Exploitation of Non-Determinate Independent And-Parallelism in the Basic Andorra Model. - M. Olmedilla; Francisco Bueno; Manuel V. Hermenegildo (LOPSTR, 1993)

A Practical Approach to the Global Analysis of CLP Programs. - Maria J. García de la Banda; Manuel V. Hermenegildo (ILPS, 1993)

And-Or Parallel Prolog: A Recomputation Based Approach. - Gopal Gupta 001; Manuel V. Hermenegildo; Vítor Santos Costa (New Gener. Comput., 1993)

From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics. - Francisco Bueno; Manuel V. Hermenegildo; Ugo Montanari; Francesca Rossi 001 (ALP, 1994)

IDRA (IDeal Resource Allocation): A Tool for Computing Ideal Speedups. - M. J. Fernández; Manuel Carro; Manuel V. Hermenegildo (ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs, 1994)

ACE: And/Or-parallel Copying-based Execution of Logic Programs. - Gopal Gupta 001; Manuel V. Hermenegildo; Enrico Pontelli; Vítor Santos Costa (ICLP, 1994)

A Note on Data-Parallelism and (And-Parallel) Prolog. - Manuel V. Hermenegildo; Manuel Carro (ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs, 1994)

&ACE: the And-parallel Component of ACE (A Progress Report on ACE). - Enrico Pontelli; Gopal Gupta 001; Manuel V. Hermenegildo (ICLP Workshop: Parallel and Data Parallel Execution of Logic Programs, 1994)

Goal Dependent versus Goal Independent Analysis of Logic Programs. - Michael Codish; Maria J. García de la Banda; Maurice Bruynooghe; Manuel V. Hermenegildo (LPAR, 1994)

Analytic Model of a Cache Only Memory Architecture. - Carlos Carreras; Carlos A. López Bario; Manuel V. Hermenegildo (PARLE, 1994)

A Comparative Study of Methods for Automatic Compile-time Parallelization of Logic Programs. - Francisco Bueno; Maria Garcia de la Banda; Manuel V. Hermenegildo (PASCO, 1994)

Towards Granularity Based Control of Parallelism in Logic Programs. - Pedro López-García 001; Manuel V. Hermenegildo; Saumya K. Debray (PASCO, 1994)

Analyzing Logic Programs with Dynamic Scheduling. - Kim Marriott; Maria J. García de la Banda; Manuel V. Hermenegildo (POPL, 1994)

Some Methodological Issues in the Design of CIAO, a Generic, Parallel Concurrent Constraint Logic Programming System. - Manuel V. Hermenegildo (PPCP, 1994)

Towards a Concurrent Semantics based Analysis of CC and CLP. - Ugo Montanari; Francesca Rossi 001; Francisco Bueno; Maria J. García de la Banda; Manuel V. Hermenegildo (PPCP, 1994)

Estimating the Computational Cost of Logic Programs. - Saumya K. Debray; Pedro López-García 001; Manuel V. Hermenegildo; Nai-Wei Lin (SAS, 1994)

Extracting Non-Strict Independent And-Parallelism Using Sharing and Freeness Information. - Daniel Cabeza Gras; Manuel V. Hermenegildo (SAS, 1994)

Effectiveness of Global Analysis in Strict Independence-Based Automatic Parallelization. - Francisco Bueno; Maria J. García de la Banda; Manuel V. Hermenegildo (ILPS, 1994)

Using Attributed Variables in the Implementation of Parallel and Concurrent Logic Programming Systems. - Manuel V. Hermenegildo; Daniel Cabeza Gras; Manuel Carro (Workshop on Design and Impl. of Parallel Logic Programming Systems, 1994)

Guest Editor's Introduction. - Maurice Bruynooghe; Saumya K. Debray; Manuel V. Hermenegildo; Michael J. Maher (J. Log. Program., 1994)

Using Attributed Variables in the Implementation of Concurrent and Parallel Logic Programming Systems. - Manuel V. Hermenegildo; Daniel Cabeza Gras; Manuel Carro (ICLP, 1995)

Efficient Term Size Computation for Granularity Control. - Manuel V. Hermenegildo; Pedro López-García 001 (ICLP, 1995)

Incremental Analysis of Logic Programs. - Manuel V. Hermenegildo; Germán Puebla; Kim Marriott; Peter J. Stuckey (ICLP, 1995)

&ACE: a high-performance parallel Prolog system. - Enrico Pontelli; Gopal Gupta 001; Manuel V. Hermenegildo (IPPS, 1995)

Implementation of Multiple Specialization in Logic Programs. - Germán Puebla; Manuel V. Hermenegildo (PEPM, 1995)

Guest Editors' Introduction: Special Section: Ten Years of Logic Programming. - Maurice Bruynooghe; Saumya K. Debray; Manuel V. Hermenegildo; Michael J. Maher (J. Log. Program., 1995)

Strict and Nonstrict Independent And-Parallelism in Logic Programs: Correctness, Efficiency, and Compile-Time Conditions. - Manuel V. Hermenegildo; Francesca Rossi 001 (J. Log. Program., 1995)

Improving Abstract Interpretations by Combining Domains. - Michael Codish; Anne Mulkers; Maurice Bruynooghe; Maria J. García de la Banda; Manuel V. Hermenegildo (ACM Trans. Program. Lang. Syst., 1995)

Implementing Distributed Concurrent Constraint Execution in the CIAO System. - Daniel Cabeza; Manuel V. Hermenegildo (APPIA-GULP-PRODE, 1996)

The CIAO Multi-Dialect Compiler and System: An Experimentation Workbench for Future (C)LP Systems. - Manuel V. Hermenegildo; Francisco Bueno; Daniel Cabeza; Manuel Carro; Maria J. García de la Banda; Pedro López-García 001; Germán Puebla (APPIA-GULP-PRODE, 1996)

Independence in Dynamically Scheduled Logic Languages. - Maria J. García de la Banda; Manuel V. Hermenegildo; Kim Marriott (ALP, 1996)

Global Analysis of Standard Prolog Programs. - Francisco Bueno; Daniel Cabeza Gras; Manuel V. Hermenegildo; Germán Puebla (ESOP, 1996)

IDRA (IDeal Resource Allocation): Computing Ideal Speedups in Parallel Logic Programming. - M. J. Fernández; Manuel Carro; Manuel V. Hermenegildo (Euro-Par, Vol. II, 1996)

Flexible Scheduling for Non-Deterministic, And-parallel Execution of Logic Programs. - Kish Shen; Manuel V. Hermenegildo (Euro-Par, Vol. II, 1996)

Abstract Specialization and Its Application to Program Parallelization. - Germán Puebla; Manuel V. Hermenegildo (LOPSTR, 1996)

Towards Independent And-Parallelism in CLP. - Maria J. García de la Banda; Francisco Bueno; Manuel V. Hermenegildo (PLILP, 1996)

Automatic Optimization of Dynamic Scheduling in Logic Programs. - Germán Puebla; Manuel V. Hermenegildo (PLILP, 1996)

Optimized Algorithms for Incremental Analysis of Logic Programs. - Germán Puebla; Manuel V. Hermenegildo (SAS, 1996)

Relating Data-Parallelism and (and-) Parallelism in Logic Programs. - Manuel V. Hermenegildo; Manuel Carro (Comput. Lang., 1996)

Improving the Efficiency of Nondeterministic Independent and-Parallel Systems. - Enrico Pontelli; Gopal Gupta 001; Dongxing Tang; Manuel Carro; Manuel V. Hermenegildo (Comput. Lang., 1996)

Some cCallenges for Constraint Programming. - Manuel V. Hermenegildo (ACM Comput. Surv., 1996)

High-level characteristics of or- and independent and-parallelism in prolog. - Kish Shen; Manuel V. Hermenegildo (Int. J. Parallel Program., 1996)

A Methodology for Granularity-Based Control of Parallelism in Logic Programs. - Pedro López-García 001; Manuel V. Hermenegildo; Saumya K. Debray (J. Symb. Comput., 1996)

Global Analysis of Constraint Logic Programs. - Maria J. García de la Banda; Manuel V. Hermenegildo; Maurice Bruynooghe; Veroniek Dumortier; Gerda Janssens; Wim Simoens (ACM Trans. Program. Lang. Syst., 1996)

On the Role of Semantic Approximations on Validation and Diagnosis of Contraint Logic Programs. - Francisco Bueno; Pierre Deransart; Wlodzimierz Drabent; Gérard Ferrand; Manuel V. Hermenegildo; Jan Maluszynski; Germán Puebla (AADEBUG, 1997)

Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming. - Manuel V. Hermenegildo (Euro-Par, 1997)

Non-Failure Analysis for Logic Programs. - Saumya K. Debray; Pedro López-García 001; Manuel V. Hermenegildo (ICLP, 1997)

Lower Bound Cost Estimation for Logic Programs. - Saumya K. Debray; Pedro López-García 001; Manuel V. Hermenegildo; Nai-Wei Lin (ILPS, 1997)

Programming with Global Analysis (Abstract). - Manuel V. Hermenegildo (ILPS, 1997)

Some Challenges for Constraint Programming. - Manuel V. Hermenegildo (Constraints An Int. J., 1997)

Exploiting Goal Independence in the Analysis of Logic Programs. - Michael Codish; Maurice Bruynooghe; Maria J. García de la Banda; Manuel V. Hermenegildo (J. Log. Program., 1997)

Some Design Issues in the Visualization of Constraint Logic Program Execution. - Manuel Carro; Manuel V. Hermenegildo (APPIA-GULP-PRODE, 1998)

A Framework for Assertion-Based Debugging in Constraint Logic Programming. - Germán Puebla; Francisco Bueno; Manuel V. Hermenegildo (CP, 1998)

Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs. - Francisco Bueno; Manuel V. Hermenegildo; Ugo Montanari; Francesca Rossi 001 (Sci. Comput. Program., 1998)

Using Global Analysis, Partial Specifications, and an Extensible Assertion Language for Program Validation and Debugging. - Manuel V. Hermenegildo; Germán Puebla; Francisco Bueno (The Logic Programming Paradigm, 1999)

Concurrency in Prolog Using Threads and a Shared Database. - Manuel Carro; Manuel V. Hermenegildo (ICLP, 1999)

Program Analysis, Debugging, and Optimization Using the Ciao System Preprocessor. - Manuel V. Hermenegildo; Francisco Bueno; Germán Puebla; Pedro López-García 001 (ICLP, 1999)

Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs. - Germán Puebla; Francisco Bueno; Manuel V. Hermenegildo (LOPSTR, 1999)

An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. - Germán Puebla; Manuel V. Hermenegildo; John P. Gallagher (PEPM, 1999)

Automatic Compile-Time Parallelization of Logic Programs for Restricted, Goal Level, Independent and Parallelism. - Kalyan Muthukumar; Francisco Bueno; Maria J. García de la Banda; Manuel V. Hermenegildo (J. Log. Program., 1999)

Abstract Multiple Specialization and Its Application to Program Parallelization. - Germán Puebla; Manuel V. Hermenegildo (J. Log. Program., 1999)

Some Issues in Analysis and Specialization of Modular Ciao-Prolog Programs. - Germán Puebla; Manuel V. Hermenegildo (WOID@ICLP, 1999)

The Ciao Module System: A New Module System for Prolog. - Daniel Cabeza Gras; Manuel V. Hermenegildo (Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP, 1999)

The Ciao Modular, Standalone Compiler and Its Generic Program Processing Library. - Daniel Cabeza Gras; Manuel V. Hermenegildo (Parallelism and Implementation Technology for (Constraint) Logic Programming@ICLP, 1999)

A System for Automatically Generating Documentation for (C)LP Programs. - Manuel V. Hermenegildo (WLPE@ICLP, 1999)

Effectivness of Abstract Interpretation in Automatic Parallelization: A Case Study in Logic Programming. - Francisco Bueno; Maria J. García de la Banda; Manuel V. Hermenegildo (ACM Trans. Program. Lang. Syst., 1999)

A New Module System for Prolog. - Daniel Cabeza Gras; Manuel V. Hermenegildo (Computational Logic, 2000)

A Documentation Generator for (C)LP Systems. - Manuel V. Hermenegildo (Computational Logic, 2000)

Tools for Search-Tree Visualisation: The APT Tool. - Manuel Carro; Manuel V. Hermenegildo (Analysis and Visualization Tools for Constraint Programming, 2000)

Tools for Constraint Visualisation: The VIFID/TRIFID Tool. - Manuel Carro; Manuel V. Hermenegildo (Analysis and Visualization Tools for Constraint Programming, 2000)

Debugging of Constraint Programs: The DiSCiPl Methodology and Tools - Introduction. - Pierre Deransart; Manuel V. Hermenegildo; Jan Maluszynski (Analysis and Visualization Tools for Constraint Programming, 2000)

An Assertion Language for Constraint Logic Programs. - Germán Puebla; Francisco Bueno; Manuel V. Hermenegildo (Analysis and Visualization Tools for Constraint Programming, 2000)

A Generic Processor for Program Validation and Debugging. - Germán Puebla; Francisco Bueno; Manuel V. Hermenegildo (Analysis and Visualization Tools for Constraint Programming, 2000)

A Model for Inter-module Analysis and Optimizing Compilation. - Francisco Bueno; Maria J. García de la Banda; Manuel V. Hermenegildo; Kim Marriott; Germán Puebla; Peter J. Stuckey (LOPSTR (LNCS 2042: Selected Papers), 2000)

Grid-Based Histogram Arithmetic for the Probabilistic Analysis of Functions. - Carlos Carreras; Manuel V. Hermenegildo (SARA, 2000)

Parallelizing irregular and pointer-based computations automatically: Perspectives from logic and constraint programming. - Manuel V. Hermenegildo (Parallel Comput., 2000)

Independence in CLP languages. - Maria J. García de la Banda; Manuel V. Hermenegildo; Kim Marriott (ACM Trans. Program. Lang. Syst., 2000)

Incremental analysis of constraint logic programs. - Manuel V. Hermenegildo; Germán Puebla; Kim Marriott; Peter J. Stuckey (ACM Trans. Program. Lang. Syst., 2000)

Efficient Negation Using Abstract Interpretation. - Susana Muñoz-Hernández; Juan José Moreno-Navarro; Manuel V. Hermenegildo (LPAR, 2001)

Parallel execution of prolog programs: a survey. - Gopal Gupta 001; Enrico Pontelli; Khayri A. M. Ali; Mats Carlsson; Manuel V. Hermenegildo (ACM Trans. Program. Lang. Syst., 2001)

Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW library. - Daniel Cabeza Gras; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2001)

Guest editor's introduction Special issue on Logic Programming and the Internet. - Leon Sterling; Lee Naish; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2001)

Abstract Verification and Debugging of Constraint Logic Programs. - Manuel V. Hermenegildo; Germán Puebla; Francisco Bueno; Pedro López-García 001 (International Workshop on Constraint Solving and Constraint Logic Programming, 2002)

Program Debugging and Validation Using Semantic Approximations and Partial Specifications. - Manuel V. Hermenegildo; Germán Puebla; Francisco Bueno; Pedro López-García 001 (ICALP, 2002)

A Generic Persistence Model for (C)LP Systems. - Jesús Correas; José M. Gómez; Manuel Carro; Daniel Cabeza Gras; Manuel V. Hermenegildo (ICLP, 2003)

Abstract specialization and its applications. - Germán Puebla; Manuel V. Hermenegildo (PEPM, 2003)

Program Development Using Abstract Interpretation (And The Ciao System Preprocessor). - Manuel V. Hermenegildo; Germán Puebla; Francisco Bueno; Pedro López-García 001 (SAS, 2003)

Hiord: A Type-Free Higher-Order Logic Programming Language with Predicate Abstraction. - Daniel Cabeza; Manuel V. Hermenegildo; James Lipton (ASIAN, 2004)

Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System. - Manuel V. Hermenegildo; Elvira Albert; Pedro López-García 001; Germán Puebla (Euro-Par, 2004)

Multivariant Non-failure Analysis via Standard Abstract Interpretation. - Francisco Bueno; Pedro López-García 001; Manuel V. Hermenegildo (FLOPS, 2004)

Abstract Interpretation-Based Mobile Code Certification. - Elvira Albert; Germán Puebla; Manuel V. Hermenegildo (ICLP, 2004)

Determinacy Analysis for Logic Programs Using Mode and Type Information. - Pedro López-García 001; Francisco Bueno; Manuel V. Hermenegildo (LOPSTR, 2004)

Efficient Local Unfolding with Ancestor Stacks for Full Prolog. - Germán Puebla; Elvira Albert; Manuel V. Hermenegildo (LOPSTR, 2004)

A Generic Framework for Context-Sensitive Analysis of Modular Programs. - Germán Puebla; Jesús Correas; Manuel V. Hermenegildo; Francisco Bueno; Maria J. García de la Banda; Kim Marriott; Peter J. Stuckey (Program Development in Computational Logic, 2004)

Abstraction-Carrying Code. - Elvira Albert; Germán Puebla; Manuel V. Hermenegildo (LPAR, 2004)

A Generic Persistence Model for (C)LP Systems (and Two Useful Implementations). - Jesús Correas; José M. Gómez; Manuel Carro; Daniel Cabeza; Manuel V. Hermenegildo (PADL, 2004)

Improved Compilation of Prolog to C Using Moded Types and Determinism Information. - José F. Morales 001; Manuel Carro; Manuel V. Hermenegildo (PADL, 2004)

Experiments in abstract interpretation-based code certification for pervasive systems. - Elvira Albert; Germán Puebla; Manuel V. Hermenegildo (SMC (2), 2004)

An Abstract Interpretation-based Approach to Mobile Code Safety. - Elvira Albert; Germán Puebla; Manuel V. Hermenegildo (COCV@ETAPS, 2004)

A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization. - José F. Morales 001; Manuel Carro; Germán Puebla; Manuel V. Hermenegildo (ICLP, 2005)

A Generic Framework for the Analysis and Specialization of Logic Programs. - Germán Puebla; Elvira Albert; Manuel V. Hermenegildo (ICLP, 2005)

Experiments in Context-Sensitive Analysis of Modular Programs. - Jesús Correas; Germán Puebla; Manuel V. Hermenegildo; Francisco Bueno (LOPSTR, 2005)

Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. - Claudio Ochoa; Germán Puebla; Manuel V. Hermenegildo (LOPSTR, 2005)

A Study of Set-Sharing Analysis via Clique. - Jorge A. Navas; Francisco Bueno; Manuel V. Hermenegildo (WLPE, 2005)

Abstraction carrying code and resource-awareness. - Manuel V. Hermenegildo; Elvira Albert; Pedro López-García 001; Germán Puebla (PPDP, 2005)

A study of set-sharing analysis via cliques. - Jorge A. Navas; Francisco Bueno; Manuel V. Hermenegildo (CoRR, 2005)

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor). - Manuel V. Hermenegildo; Germán Puebla; Francisco Bueno; Pedro López-García 001 (Sci. Comput. Program., 2005)

High-level languages for small devices: a case study. - Manuel Carro; José F. Morales 001; Henk L. Muller; Germán Puebla; Manuel V. Hermenegildo (CASES, 2006)

A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems. - Amadeo Casas; Daniel Cabeza; Manuel V. Hermenegildo (FLOPS, 2006)

Reduced Certificates for Abstraction-Carrying Code. - Elvira Albert; Puri Arenas-Sánchez; Germán Puebla; Manuel V. Hermenegildo (ICLP, 2006)

Using Combined Static Analysis and Profiling for Logic Program Execution Time Estimation. - Edison Mera; Pedro López-García 001; Germán Puebla; Manuel Carro; Manuel V. Hermenegildo (ICLP, 2006)

A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework. - Mark Marron; Deepak Kapur; Darko Stefanovic; Manuel V. Hermenegildo (LCPC, 2006)

Towards Description and Optimization of Abstract Machines in an Extension of Prolog. - José F. Morales 001; Manuel Carro; Manuel V. Hermenegildo (LOPSTR, 2006)

Context-Sensitive Multivariant Assertion Checking in Modular Programs. - Pawel Pietrzak; Jesús Correas; Germán Puebla; Manuel V. Hermenegildo (LPAR, 2006)

Efficient Top-Down Set-Sharing Analysis Using Cliques. - Jorge A. Navas; Francisco Bueno; Manuel V. Hermenegildo (PADL, 2006)

Abstract Interpretation with Specialized Definitions. - Germán Puebla; Elvira Albert; Manuel V. Hermenegildo (SAS, 2006)

User-Definable Resource Bounds Analysis for Logic Programs. - Jorge A. Navas; Edison Mera; Pedro López-García 001; Manuel V. Hermenegildo (ICLP, 2007)

Automatic Binding-Related Error Diagnosis in Logic Programs. - Pawel Pietrzak; Manuel V. Hermenegildo (ICLP, 2007)

Towards a high-level implementation of flexible parallelism primitives for symbolic languages. - Amadeo Casas; Manuel Carro; Manuel V. Hermenegildo (PASCO, 2007)

Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs. - Amadeo Casas; Manuel Carro; Manuel V. Hermenegildo (LOPSTR, 2007)

A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs. - Mario Méndez-Lojo; Jorge A. Navas; Manuel V. Hermenegildo (LOPSTR, 2007)

Combining Static Analysis and Profiling for Estimating Execution Times. - Edison Mera; Pedro López-García 001; Germán Puebla; Manuel Carro; Manuel V. Hermenegildo (PADL, 2007)

Heap analysis in the presence of collection libraries. - Mark Marron; Darko Stefanovic; Manuel V. Hermenegildo; Deepak Kapur (PASTE, 2007)

Automatic granularity-aware parallelization of programs with predicates, functions, and constraints: invited talk. - Manuel V. Hermenegildo (DAMP, 2007)

Towards Execution Time Estimation for Logic Programs via Static Analysis and Profiling - Edison Mera; Pedro López-García 001; Germán Puebla; Manuel Carro; Manuel V. Hermenegildo (CoRR, 2007)

An Efficient, Parametric Fixpoint Algorithm for Analysis of Java Bytecode. - Mario Méndez-Lojo; Jorge A. Navas; Manuel V. Hermenegildo (Bytecode@ETAPS, 2007)

An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy. - Manuel V. Hermenegildo; Francisco Bueno; Manuel Carro; Pedro López-García 001; José F. Morales 001; Germán Puebla (Concurrency, Graphs and Models, 2008)

Efficient Context-Sensitive Shape Analysis with Graph Based Heap Models. - Mark Marron; Manuel V. Hermenegildo; Deepak Kapur; Darko Stefanovic (CC, 2008)

A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism. - Amadeo Casas; Manuel Carro; Manuel V. Hermenegildo (ICLP, 2008)

A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation. - Pablo Chico de Guzmán; Manuel Carro; Manuel V. Hermenegildo (ICLP, 2008)

Negative Ternary Set-Sharing. - Eric D. Trias; Jorge A. Navas; Elena S. Ackley; Stephanie Forrest; Manuel V. Hermenegildo (ICLP, 2008)

Identification of Heap-Carried Data Dependence Via Explicit Store Heap Models. - Mark Marron; Darko Stefanovic; Deepak Kapur; Manuel V. Hermenegildo (LCPC, 2008)

Efficient Set Sharing Using ZBDDs. - Mario Méndez-Lojo; Ondrej Lhoták; Manuel V. Hermenegildo (LCPC, 2008)

Towards a High-Level Implementation of Execution Primitives for Unrestricted, Independent And-Parallelism. - Amadeo Casas; Manuel Carro; Manuel V. Hermenegildo (PADL, 2008)

An Improved Continuation Call-Based Implementation of Tabling. - Pablo Chico de Guzmán; Manuel Carro; Manuel V. Hermenegildo; Cláudio Silva 001; Ricardo Rocha 001 (PADL, 2008)

Sharing analysis of arrays, collections, and recursive structures. - Mark Marron; Mario Méndez-Lojo; Manuel V. Hermenegildo; Darko Stefanovic; Deepak Kapur (PASTE, 2008)

A practical type analysis for verification of modular prolog programs. - Pawel Pietrzak; Jesús Correas; Germán Puebla; Manuel V. Hermenegildo (PEPM, 2008)

Towards execution time estimation in abstract machine-based languages. - Edison Mera; Pedro López-García 001; Manuel Carro; Manuel V. Hermenegildo (PPDP, 2008)

Comparing tag scheme variations using an abstract machine generator. - José F. Morales 001; Manuel Carro; Manuel V. Hermenegildo (PPDP, 2008)

Precise Set Sharing Analysis for Java-Style Programs. - Mario Méndez-Lojo; Manuel V. Hermenegildo (VMCAI, 2008)

Abstraction-Carrying Code: a Model for Mobile Code Safety. - Elvira Albert; Germán Puebla; Manuel V. Hermenegildo (New Gener. Comput., 2008)

A Tabling Implementation Based on Variables with Multiple Bindings. - Pablo Chico de Guzmán; Manuel Carro; Manuel V. Hermenegildo (ICLP, 2009)

Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework. - Edison Mera; Pedro López-García 001; Manuel V. Hermenegildo (ICLP, 2009)

An Initial Proposal for Data-Aware Resource Analysis of Orchestrations with Applications to Predictive Monitoring. - Dragan Ivanovic; Manuel Carro; Manuel V. Hermenegildo (ICSOC/ServiceWave Workshops, 2009)

Identification of logically related heap regions. - Mark Marron; Deepak Kapur; Manuel V. Hermenegildo (ISMM, 2009)

Program Parallelization Using Synchronized Pipelining. - Leonardo Scandolo; César Kunz; Manuel V. Hermenegildo (LOPSTR, 2009)

Towards a Complete Scheme for Tabled Execution Based on Program Transformation. - Pablo Chico de Guzmán; Manuel Carro; Manuel V. Hermenegildo (PADL, 2009)

A Program Transformation for Continuation Call-Based Tabled Execution - Pablo Chico de Guzmán; Manuel Carro; Manuel V. Hermenegildo (CoRR, 2009)

User-Definable Resource Usage Bounds Analysis for Java Bytecode. - Jorge A. Navas; Mario Méndez-Lojo; Manuel V. Hermenegildo (BYTECODE@ETAPS, 2009)

Non-strict independence-based program parallelization using sharing and freeness information. - Daniel Cabeza Gras; Manuel V. Hermenegildo (Theor. Comput. Sci., 2009)

Titlepage, Table of Contents, Conference Organization. - Manuel V. Hermenegildo; Torsten Schaub (ICLP (Technical Communications), 2010)

Introduction to the Technical Communications of the 26th International Conference on Logic Programming. - Manuel V. Hermenegildo; Torsten Schaub (ICLP (Technical Communications), 2010)

Automatic Fragment Identification in Workflows Based on Sharing Analysis. - Dragan Ivanovic; Manuel Carro; Manuel V. Hermenegildo (ICSOC, 2010)

Towards Data-Aware QoS-driven Adaptation for Service Orchestrations. - Dragan Ivanovic; Manuel Carro; Manuel V. Hermenegildo (ICWS, 2010)

Towards Parameterized Regular Type Inference Using Set Constraints - Francisco Bueno; Jorge A. Navas; Manuel V. Hermenegildo (CoRR, 2010)

Lock-free parallel dynamic programming. - Alex D. Stivala; Peter J. Stuckey; Maria Garcia de la Banda; Manuel V. Hermenegildo; Anthony Wirth (J. Parallel Distributed Comput., 2010)

Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses. - Pedro López-García 001; Francisco Bueno; Manuel V. Hermenegildo (New Gener. Comput., 2010)

Introduction to the 26th international conference on logic programming special issue. - Manuel V. Hermenegildo; Torsten Schaub (Theory Pract. Log. Program., 2010)

Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis. - Dragan Ivanovic; Manuel Carro; Manuel V. Hermenegildo (IEEE SCC, 2011)

Interval-Based Resource Usage Verification: Formalization and Prototype. - Pedro López-García 001; Luthfi Darmawan; Francisco Bueno; Manuel V. Hermenegildo (FOPARA, 2011)

Constraint-Based Runtime Prediction of SLA Violations in Service Orchestrations. - Dragan Ivanovic; Manuel Carro; Manuel V. Hermenegildo (ICSOC, 2011)

Modular Extensions for Modular (Logic) Languages. - José F. Morales 001; Manuel V. Hermenegildo; Rémy Haemmerlé (LOPSTR, 2011)

Profiling for Run-Time Checking of Computational Properties and Performance Debugging in Logic Programs. - Edison Mera; Teresa Trigo; Pedro López-García 001; Manuel V. Hermenegildo (PADL, 2011)

CLP projection for constraint handling rules. - Rémy Haemmerlé; Pedro López-García 001; Manuel V. Hermenegildo (PPDP, 2011)

An Overview of the Ciao System. - Manuel V. Hermenegildo; Francisco Bueno; Manuel Carro; Pedro López-García 001; Rémy Haemmerlé; Edison Mera; José F. Morales 001; Germán Puebla (RuleML Europe, 2011)

Parallel backtracking with answer memoing for independent and-parallelism. - Pablo Chico de Guzmán; Amadeo Casas; Manuel Carro; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2011)

Efficient local unfolding with ancestor stacks. - Germán Puebla; Elvira Albert; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2011)

Logic Languages. - Manuel Carro; Manuel V. Hermenegildo (Encyclopedia of Parallel Computing, 2011)

A General Implementation Framework for Tabled CLP. - Pablo Chico de Guzmán; Manuel Carro; Manuel V. Hermenegildo; Peter J. Stuckey (FLOPS, 2012)

Exploring the impact of inaccuracy and imprecision of QoS assumptions on proactive constraint-based QoS prediction for service orchestrations. - Dragan Ivanovic; Manuel Carro; Manuel V. Hermenegildo (PESOS@ICSE, 2012)

Analyzing service-oriented systems using their data and structure. - Dragan Ivanovic; Manuel Carro; Manuel V. Hermenegildo (S-Cube@ICSE, 2012)

A Constraint-Based Approach to Quality Assurance in Service Choreographies. - Dragan Ivanovic; Manuel Carro; Manuel V. Hermenegildo (ICSOC, 2012)

A Segment-Swapping Approach for Executing Trapped Computations. - Pablo Chico de Guzmán; Amadeo Casas; Manuel Carro; Manuel V. Hermenegildo (PADL, 2012)

Certificate size reduction in abstraction-carrying code. - Elvira Albert; Puri Arenas; Germán Puebla; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2012)

An overview of Ciao and its design philosophy. - Manuel V. Hermenegildo; Francisco Bueno; Manuel Carro; Pedro López-García 001; Edison Mera; José F. Morales 001; Germán Puebla (Theory Pract. Log. Program., 2012)

Lightweight compilation of (C)LP to JavaScript. - José F. Morales 001; Rémy Haemmerlé; Manuel Carro; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2012)

Energy Consumption Analysis of Programs Based on XMOS ISA-Level Models. - Umer Liqat; Steve Kerrison; Alejandro Serrano 001; Kyriakos Georgiou; Pedro López-García 001; Neville Grech; Manuel V. Hermenegildo; Kerstin Eder (LOPSTR, 2013)

Reversible Language Extensions and Their Application in Debugging. - Zoé Drey; José F. Morales 001; Manuel V. Hermenegildo; Manuel Carro (PADL, 2013)

Supporting Pruning in Tabled LP. - Pablo Chico de Guzmán; Manuel Carro; Manuel V. Hermenegildo (PADL, 2013)

A sharing-based approach to supporting adaptation in service compositions. - Dragan Ivanovic; Manuel Carro; Manuel V. Hermenegildo (Computing, 2013)

Towards an Abstract Domain for Resource Analysis of Logic Programs Using Sized Types. - Alejandro Serrano 001; Pedro López-García 001; Manuel V. Hermenegildo (CoRR, 2013)

Reversible Language Extensions and their Application in Debugging - Zoé Drey; José F. Morales 001; Manuel V. Hermenegildo (CoRR, 2013)

The Ciao clp(FD) Library. A Modular CLP Extension for Prolog - Emilio Jesús Gallego Arias; Rémy Haemmerlé; Manuel V. Hermenegildo; José F. Morales 001 (CoRR, 2013)

Sized Type Analysis for Logic Programs. - Alejandro Serrano 001; Pedro López-García 001; Francisco Bueno; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2013)

Pre-indexed Terms for Prolog. - José F. Morales 001; Manuel V. Hermenegildo (LOPSTR, 2014)

Assertion-based Debugging of Higher-Order (C)LP Programs. - Nataliia Stulova; José F. Morales 001; Manuel V. Hermenegildo (PPDP, 2014)

An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs. - Nataliia Stulova; José F. Morales 001; Manuel V. Hermenegildo (CoRR, 2014)

Towards Assertion-based Debugging of Higher-Order (C)LP Programs. - Nataliia Stulova; José F. Morales 001; Manuel V. Hermenegildo (CoRR, 2014)

Resource Usage Analysis of Logic Programs via Abstract Interpretation Using Sized Types. - Alejandro Serrano 001; Pedro López-García 001; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2014)

Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. - Umer Liqat; Kyriakos Georgiou; Steve Kerrison; Pedro López-García 001; John P. Gallagher; Manuel V. Hermenegildo; Kerstin Eder (FOPARA, 2015)

Proceedings of the Workshop on High Performance Energy Efficient Embedded Systems (HIP3ES) 2015. - Francisco Corbera; Andrés Rodríguez 001; Rafael Asenjo; Angeles G. Navarro; Antonio Vilches; María Jesús Garzarán; Ismat Chaib Draa; Jamel Tayeb; Smaïl Niar; Mikael Desertot; Daniel Gregorek; Robert Schmidt 003; et al. (CoRR, 2015)

Towards Energy Consumption Verification via Static Analysis. - Pedro López-García 001; Rémy Haemmerlé; Maximiliano Klemen; Umer Liqat; Manuel V. Hermenegildo (CoRR, 2015)

Practical run-time checking via unobtrusive property caching. - Nataliia Stulova; José F. Morales 001; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2015)

A Transformational Approach to Parametric Accumulated-Cost Static Profiling. - Rémy Haemmerlé; Pedro López-García 001; Umer Liqat; Maximiliano Klemen; John P. Gallagher; Manuel V. Hermenegildo (FLOPS, 2016)

Reducing the overhead of assertion run-time checks via static analysis. - Nataliia Stulova; José F. Morales 001; Manuel V. Hermenegildo (PPDP, 2016)

Pre-proceedings of the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016). - Manuel V. Hermenegildo; Pedro López-García 001 (CoRR, 2016)

Inferring Energy Bounds Statically by Evolutionary Analysis of Basic Blocks. - Umer Liqat; Zorana Bankovic; Pedro López-García 001; Manuel V. Hermenegildo (CoRR, 2016)

ENTRA: Whole-systems energy transparency. - Kerstin Eder; John P. Gallagher; Pedro López-García 001; Henk L. Muller; Zorana Bankovic; Kyriakos Georgiou; Rémy Haemmerlé; Manuel V. Hermenegildo; Bishoksan Kafle; Steve Kerrison; Maja H. Kirkeby; Maximiliano Klemen; et al. (Microprocess. Microsystems, 2016)

Semantic code browsing. - Isabel Garcia-Contreras; José F. Morales 001; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2016)

A general framework for static profiling of parametric resource usage. - Pedro López-García 001; Maximiliano Klemen; Umer Liqat; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2016)

Description and Optimization of Abstract Machines in a Dialect of Prolog. - José F. Morales 001; Manuel Carro; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2016)

Towards Run-time Checks Simplification via Term Hiding. - Nataliia Stulova; José F. Morales 001; Manuel V. Hermenegildo (ICLP (Technical Communications), 2017)

Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks. - Umer Liqat; Zorana Bankovic; Pedro López-García 001; Manuel V. Hermenegildo (LOPSTR, 2017)

Term Hiding and its Impact on Run-time Check Simplification. - Nataliia Stulova; José F. Morales 001; Manuel V. Hermenegildo (CoRR, 2017)

An evolutionary scheduling approach for trading-off accuracy vs. verifiable energy in multicore processors. - Umer Liqat; Zorana Bankovic; Pedro López-García 001; Manuel V. Hermenegildo (Log. J. IGPL, 2017)

Towards Incremental and Modular Context-Sensitive Analysis. - Isabel Garcia-Contreras; José F. Morales 001; Manuel V. Hermenegildo (ICLP (Technical Communications), 2018)

Towards Static Performance Guarantees for Programs with Run-Time Checks. - Maximiliano Klemen; Nataliia Stulova; Pedro López-García 001; José F. Morales 001; Manuel V. Hermenegildo (ICLP (Technical Communications), 2018)

Multivariant Assertion-Based Guidance in Abstract Interpretation. - Isabel Garcia-Contreras; José F. Morales 001; Manuel V. Hermenegildo (LOPSTR, 2018)

Exploiting Term Hiding to Reduce Run-Time Checking Overhead. - Nataliia Stulova; José F. Morales 001; Manuel V. Hermenegildo (PADL, 2018)

Static Performance Guarantees for Programs with Runtime Checks. - Maximiliano Klemen; Nataliia Stulova; Pedro López-García 001; José F. Morales 001; Manuel V. Hermenegildo (PPDP, 2018)

An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs. - Isabel Garcia-Contreras; José F. Morales 001; Manuel V. Hermenegildo (CoRR, 2018)

An Approach to Static Performance Guarantees for Programs with Run-time Checks. - Maximiliano Klemen; Nataliia Stulova; Pedro López-García 001; José F. Morales 001; Manuel V. Hermenegildo (CoRR, 2018)

Some trade-offs in reducing the overhead of assertion run-time checks via static analysis. - Nataliia Stulova; José F. Morales 001; Manuel V. Hermenegildo (Sci. Comput. Program., 2018)

Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption. - Pedro López-García 001; Luthfi Darmawan; Maximiliano Klemen; Umer Liqat; Francisco Bueno; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2018)

Computing Abstract Distances in Logic Programs. - Ignacio Casso; José F. Morales 001; Pedro López-García 001; Roberto Giacobazzi; Manuel V. Hermenegildo (LOPSTR, 2019)

An Integrated Approach to Assertion-Based Random Testing in Prolog. - Ignacio Casso; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (LOPSTR, 2019)

Incremental Analysis of Logic Programs with Assertions and Open Predicates. - Isabel Garcia-Contreras; José F. Morales 001; Manuel V. Hermenegildo (LOPSTR, 2019)

A General Framework for Static Cost Analysis of Parallel Logic Programs. - Maximiliano Klemen; Pedro López-García 001; John P. Gallagher; José F. Morales 001; Manuel V. Hermenegildo (LOPSTR, 2019)

Computing Abstract Distances in Logic Programs. - Ignacio Casso; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (CoRR, 2019)

Towards a General Framework for Static Cost Analysis of Parallel Logic Programs. - Maximiliano Klemen; Pedro López-García 001; John P. Gallagher; José F. Morales 001; Manuel V. Hermenegildo (CoRR, 2019)

Testing Your (Static Analysis) Truths. - Ignacio Casso; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (LOPSTR, 2020)

Cost Analysis of Smart Contracts Via Parametric Resource Analysis. - Victor Perez-Carrasco; Maximiliano Klemen; Pedro López-García 001; José Francisco Morales 001; Manuel V. Hermenegildo (SAS, 2020)

From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation. - John P. Gallagher; Manuel V. Hermenegildo; Bishoksan Kafle; Maximiliano Klemen; Pedro López-García 001; José F. Morales 001 (VPT/HCVS@ETAPS, 2020)

Preface. - Manuel V. Hermenegildo; Pedro López-García 001; Alberto Pettorossi; Maurizio Proietti (Fundam. Informaticae, 2020)

Regular Path Clauses and Their Application in Solving Loops. - Bishoksan Kafle; John P. Gallagher; Manuel V. Hermenegildo; Maximiliano Klemen; Pedro López-García 001; José F. Morales 001 (HCVS@ETAPS, 2021)

Incremental and Modular Context-sensitive Analysis. - Isabel Garcia-Contreras; José F. Morales 001; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2021)

A general framework for static profiling of parametric resource usage - CORRIGENDUM. - Pedro López-García 001; Maximiliano Klemen; Umer Liqat; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2021)

VeriFly: On-the-fly Assertion Checking via Incrementality. - Miguel A. Sanchez-Ordaz; Isabel Garcia-Contreras; Victor Perez-Carrasco; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2021)

An s(CASP) In-Browser Playground based on Ciao Prolog. - Guillermo García-Pradales; José F. Morales 001; Manuel V. Hermenegildo; Joaquín Arias; Manuel Carro (ICLP Workshops, 2022)

50 Years of Prolog and Beyond. - Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa; Verónica Dahl; Manuel V. Hermenegildo; José F. Morales 001; Jan Wielemaker; Daniel Diaz 001; Salvador Abreu; Giovanni Ciatto (CoRR, 2022)

Analysis and Transformation of Constrained Horn Clauses for Program Verification. - Emanuele De Angelis; Fabio Fioravanti; John P. Gallagher; Manuel V. Hermenegildo; Alberto Pettorossi; Maurizio Proietti (Theory Pract. Log. Program., 2022)

Parallel Logic Programming: A Sequel. - Agostino Dovier; Andrea Formisano 001; Gopal Gupta 001; Manuel V. Hermenegildo; Enrico Pontelli; Ricardo Rocha 001 (Theory Pract. Log. Program., 2022)

Fifty Years of Prolog and Beyond. - Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa; Verónica Dahl; Manuel V. Hermenegildo; José F. Morales 001; Jan Wielemaker; Daniel Diaz 001; Salvador Abreu (Theory Pract. Log. Program., 2022)

Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. - John P. Gallagher; Manuel V. Hermenegildo; José F. Morales 001; Pedro López-García 001 (LOPSTR, 2023)

A Rule-Based Approach for Designing and Composing Abstract Domains. - Daniel Jurjo; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (LOPSTR, 2023)

Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials. - Daniela Ferreiro; José F. Morales 001; Salvador Abreu; Manuel V. Hermenegildo (ICLP, 2023)

Teaching Prolog with Active Logic Documents. - José F. Morales 001; Salvador Abreu; Daniela Ferreiro; Manuel V. Hermenegildo (Prolog: The Next 50 Years, 2023)

Some Thoughts on How to Teach Prolog. - Manuel V. Hermenegildo; José F. Morales 001; Pedro López-García 001 (Prolog: The Next 50 Years, 2023)

Types, Modes and so Much More - The Prolog Way. - Manuel V. Hermenegildo; José F. Morales 001; Pedro López-García 001; Manuel Carro (Prolog: The Next 50 Years, 2023)

Teaching Pure LP with Prolog and a Fair Search Rule. - Manuel V. Hermenegildo; José F. Morales 001; Pedro López-García 001 (ICLP Workshops, 2024)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. - Louis Rustenholz; Pedro López-García 001; José F. Morales 001; Manuel V. Hermenegildo (SAS, 2024)

Abstract Environment Trimming. - Daniel Jurjo-Rivas; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (Theory Pract. Log. Program., 2024)

An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. - Louis Rustenholz; Pedro López-García 001; José F. Morales 001; Manuel V. Hermenegildo (Zenodo, 2024)

Checkification: A Practical Approach for Testing Static Analysis Truths. - Daniela Ferreiro; Ignacio Casso; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (CoRR, 2025)

Hiord: An Approach to the Specification and Verification of Higher-Order (C)LP Programs. - Marco Ciccalè; Daniel Jurjo-Rivas; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (CoRR, 2025)

Abstractions of Sequences, Functions and Operators. - Louis Rustenholz; Pedro López-García 001; Manuel V. Hermenegildo (CoRR, 2025)