Improved Compilation of Prolog to C Using Moded Types and Determinism Information. - José F. Morales 001; Manuel Carro; Manuel V. Hermenegildo (PADL, 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)

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)

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

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)

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

Advanced Compilation Techniques for Logic Programming = Técnicas Avanzadas de Compilación para Programación Lógica. - José Francisco Morales 001 (2010)

Modular Extensions for Modular (Logic) Languages. - José F. Morales 001; Manuel V. Hermenegildo; Rémy Haemmerlé (LOPSTR, 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)

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)

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

Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013). - Rémy Haemmerlé; José F. Morales 001 (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)

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)

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

Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata. - Bishoksan Kafle; John P. Gallagher; José F. Morales 001 (CAV (1), 2016)

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

Semantic code browsing. - Isabel Garcia-Contreras; José F. Morales 001; 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)

Term Hiding and its Impact on Run-time Check Simplification. - Nataliia Stulova; José F. Morales 001; Manuel V. Hermenegildo (CoRR, 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)

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)

Theory and Practice of Finding Eviction Sets. - Pepe Vila; Boris Köpf; José F. Morales 001 (IEEE Symposium on Security and Privacy, 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)

Spectector: Principled Detection of Speculative Information Flows. - Marco Guarnieri; Boris Köpf; José F. Morales 001; Jan Reineke 001; Andrés Sánchez (SP, 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)

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)

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)

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)

Introduction to the 38th International Conference on Logic Programming Special Issue. - Yuliya Lierler; José F. Morales 001 (Theory Pract. Log. Program., 2022)

Introduction to the 38th International Conference on Logic Programming Special Issue II. - Yuliya Lierler; José F. Morales 001 (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)