José F. Morales

83 papers A* 2B 4C 21Misc 1Journal 38Unranked 11
YearRankTypeTitle / Venue / Authors
2026 J jnl
Detecting speculative leaks with compositional semantics.
CoRR
Xaver Fabian, Marco Guarnieri, Boris Köpf, José F. Morales, Marco Patrignani, Jan Reineke, Andrés Sánchez
2026 C conf
Multi-configurable Search Rules in Prolog and Application to Testing.
PADL
Daniela Ferreiro, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2025 J jnl
Checkification: A Practical Approach for Testing Static Analysis Truths.
CoRR
Daniela Ferreiro, Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2025 J jnl
Checkification: A Practical Approach for Testing Static Analysis Truths.
Theory Pract. Log. Program.
Daniela Ferreiro, Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2025 C conf
Extending the FSyntax/Hiord Approach with Imperative Notation.
LOPSTR
Paula Corral, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2025 J jnl
Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs.
Theory Pract. Log. Program.
Marco Ciccalè, Daniel Jurjo-Rivas, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2025 J jnl
Hiord: An Approach to the Specification and Verification of Higher-Order (C)LP Programs.
CoRR
Marco Ciccalè, Daniel Jurjo-Rivas, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2025 — ed.
Joint Proceedings of the Workshops and Doctoral Consortium of the 41st International Conference on Logic Programming (ICLP-WS-DC 2025) co-located with 41st International Conference on Logic Programming (ICLP 2025), Rende, Italy, September 9-13, 2025.
ICLP Workshops
Damiano Azzolini, Sotirios Batsakis, Manuel Alejandro Borroto Santana, Pierangela Bruno, Laura Andrea Cecchi, Jorge Fandinno, Markus Hecher, Marco Maratea, José F. Morales, Brais Muñiz, Emmanuel Papadakis, Livio Robaldo, Luciano Serafini, Fabrizio Lo Scudo, Ilias Tachmazidis, Alice Tarzariol, Mauro Vallati, Adam Wyner
2025 — conf
Some Enhancements to the Prolog Playground and ALD Notebooks for the Modern Prolog Classroom.
ICLP Workshops
José F. Morales, Daniela Ferreiro, Manuel V. Hermenegildo
2024 J jnl
Abstract Environment Trimming.
CoRR
Daniel Jurjo-Rivas, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2024 J jnl
Abstract Environment Trimming.
Theory Pract. Log. Program.
Daniel Jurjo-Rivas, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2024 B conf
An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants.
SAS
Louis Rustenholz, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
2024 J jnl
An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants.
CoRR
Louis Rustenholz, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
2024 — ed.
Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis, LSFA/HCVS 2023, and 10th Workshop on Horn Clauses for Verification and Synthesis, Rome, Italy & Paris, France, July 1-2, 2023 & April 23, 2023.
LSFA/HCVS
Temur Kutsia, Daniel Ventura, David Monniaux, José F. Morales
2024 — conf
Teaching Pure LP with Prolog and a Fair Search Rule.
ICLP Workshops
Manuel V. Hermenegildo, José F. Morales, Pedro López-García
2023 C conf
A Rule-Based Approach for Designing and Composing Abstract Domains.
LOPSTR
Daniel Jurjo-Rivas, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2023 B conf
Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials.
ICLP
Daniela Ferreiro, José F. Morales, Salvador Abreu, Manuel V. Hermenegildo
2023 — ch.
Some Thoughts on How to Teach Prolog.
Prolog: The Next 50 Years
Manuel V. Hermenegildo, José F. Morales, Pedro López-García
2023 B ed.
Static Analysis - 30th International Symposium, SAS 2023, Cascais, Portugal, October 22-24, 2023, Proceedings
SAS
Manuel V. Hermenegildo, José F. Morales
2023 — ch.
Teaching Prolog with Active Logic Documents.
Prolog: The Next 50 Years
José F. Morales, Salvador Abreu, Daniela Ferreiro, Manuel V. Hermenegildo
2023 C conf
Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation.
LOPSTR
John P. Gallagher, Manuel V. Hermenegildo, José F. Morales, Pedro López-García
2023 — ch.
Types, Modes and so Much More - The Prolog Way.
Prolog: The Next 50 Years
Manuel V. Hermenegildo, José F. Morales, Pedro López-García, Manuel Carro
2022 J jnl
50 Years of Prolog and Beyond.
CoRR
Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto
2022 — conf
An s(CASP) In-Browser Playground based on Ciao Prolog.
ICLP Workshops
Guillermo García-Pradales, José F. Morales, Manuel V. Hermenegildo, Joaquín Arias, Manuel Carro
2022 J jnl
Fifty Years of Prolog and Beyond.
Theory Pract. Log. Program.
Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu
2022 J jnl
Introduction to the 38th International Conference on Logic Programming Special Issue II.
Theory Pract. Log. Program.
Yuliya Lierler, José F. Morales
2022 J jnl
Introduction to the 38th International Conference on Logic Programming Special Issue.
Theory Pract. Log. Program.
Yuliya Lierler, José F. Morales
2022 — ed.
Proceedings 38th International Conference on Logic Programming, ICLP 2022 Technical Communications / Doctoral Consortium, Haifa, Israel, 31st July 2022 - 6th August 2022.
ICLP Technical Communications / Doctoral Consortium
Yuliya Lierler, José F. Morales, Carmine Dodaro, Verónica Dahl, Martin Gebser, K. Tuncay Tekle
2021 J jnl
Incremental and Modular Context-sensitive Analysis.
Theory Pract. Log. Program.
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
2021 C ed.
Practical Aspects of Declarative Languages - 23rd International Symposium, PADL 2021, Copenhagen, Denmark, January 18-19, 2021, Proceedings
PADL
José F. Morales, Dominic A. Orchard
2021 — conf
Regular Path Clauses and Their Application in Solving Loops.
HCVS@ETAPS
Bishoksan Kafle, John P. Gallagher, Manuel V. Hermenegildo, Maximiliano Klemen, Pedro López-García, José F. Morales
2021 J jnl
VeriFly: On-the-fly Assertion Checking via Incrementality.
CoRR
Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2021 J jnl
VeriFly: On-the-fly Assertion Checking via Incrementality.
Theory Pract. Log. Program.
Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2020 — conf
From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation.
VPT/HCVS@ETAPS
John P. Gallagher, Manuel V. Hermenegildo, Bishoksan Kafle, Maximiliano Klemen, Pedro López-García, José F. Morales
2020 A* conf
Spectector: Principled Detection of Speculative Information Flows.
SP
Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke, Andrés Sánchez
2020 C conf
Testing Your (Static Analysis) Truths.
LOPSTR
Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2019 C conf
A General Framework for Static Cost Analysis of Parallel Logic Programs.
LOPSTR
Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo
2019 C conf
An Integrated Approach to Assertion-Based Random Testing in Prolog.
LOPSTR
Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2019 C conf
Computing Abstract Distances in Logic Programs.
LOPSTR
Ignacio Casso, José F. Morales, Pedro López-García, Roberto Giacobazzi, Manuel V. Hermenegildo
2019 J jnl
Computing Abstract Distances in Logic Programs.
CoRR
Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo
2019 C conf
Incremental Analysis of Logic Programs with Assertions and Open Predicates.
LOPSTR
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
2019 A* conf
Theory and Practice of Finding Eviction Sets.
IEEE Symposium on Security and Privacy
Pepe Vila, Boris Köpf, José F. Morales
2019 J jnl
Towards a General Framework for Static Cost Analysis of Parallel Logic Programs.
CoRR
Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo
2018 J jnl
An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs.
CoRR
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
2018 J jnl
An Approach to Static Performance Guarantees for Programs with Run-time Checks.
CoRR
Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
2018 C conf
Exploiting Term Hiding to Reduce Run-Time Checking Overhead.
PADL
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2018 C conf
Multivariant Assertion-Based Guidance in Abstract Interpretation.
LOPSTR
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
2018 J jnl
Multivariant Assertion-based Guidance in Abstract Interpretation.
CoRR
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
2018 J jnl
SPECTECTOR: Principled Detection of Speculative Information Flows.
CoRR
Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke, Andrés Sánchez
2018 J jnl
Some trade-offs in reducing the overhead of assertion run-time checks via static analysis.
Sci. Comput. Program.
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2018 C conf
Static Performance Guarantees for Programs with Runtime Checks.
PPDP
Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
2018 — conf
Towards Incremental and Modular Context-Sensitive Analysis.
ICLP (Technical Communications)
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
2018 — conf
Towards Static Performance Guarantees for Programs with Run-Time Checks.
ICLP (Technical Communications)
Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo
2017 J jnl
Term Hiding and its Impact on Run-time Check Simplification.
CoRR
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2017 — conf
Towards Run-time Checks Simplification via Term Hiding.
ICLP (Technical Communications)
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2016 J jnl
Description and Optimization of Abstract Machines in a Dialect of Prolog.
Theory Pract. Log. Program.
José F. Morales, Manuel Carro, Manuel V. Hermenegildo
2016 — conf
Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata.
CAV (1)
Bishoksan Kafle, John P. Gallagher, José F. Morales
2016 C conf
Reducing the overhead of assertion run-time checks via static analysis.
PPDP
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2016 J jnl
Semantic Code Browsing.
CoRR
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
2016 J jnl
Semantic code browsing.
Theory Pract. Log. Program.
Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo
2015 J jnl
Practical Run-time Checking via Unobtrusive Property Caching.
CoRR
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2015 J jnl
Practical run-time checking via unobtrusive property caching.
Theory Pract. Log. Program.
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2014 J jnl
An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs.
CoRR
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2014 C conf
Assertion-based Debugging of Higher-Order (C)LP Programs.
PPDP
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2014 J jnl
Description and Optimization of Abstract Machines in a Dialect of Prolog.
CoRR
José F. Morales, Manuel Carro, Manuel V. Hermenegildo
2014 C conf
Pre-indexed Terms for Prolog.
LOPSTR
José F. Morales, Manuel V. Hermenegildo
2014 J jnl
Towards Assertion-based Debugging of Higher-Order (C)LP Programs.
CoRR
Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo
2013 J jnl
Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013).
CoRR
Rémy Haemmerlé, José F. Morales
2013 C conf
Reversible Language Extensions and Their Application in Debugging.
PADL
Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro
2013 J jnl
Reversible Language Extensions and their Application in Debugging
CoRR
Zoé Drey, José F. Morales, Manuel V. Hermenegildo
2013 J jnl
The Ciao clp(FD) Library. A Modular CLP Extension for Prolog
CoRR
Emilio Jesús Gallego Arias, Rémy Haemmerlé, Manuel V. Hermenegildo, José F. Morales
2012 J jnl
An overview of Ciao and its design philosophy.
Theory Pract. Log. Program.
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, Germán Puebla
2012 J jnl
Lightweight compilation of (C)LP to JavaScript
CoRR
José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo
2012 J jnl
Lightweight compilation of (C)LP to JavaScript.
Theory Pract. Log. Program.
José F. Morales, Rémy Haemmerlé, Manuel Carro, Manuel V. Hermenegildo
2011 — conf
An Overview of the Ciao System.
RuleML Europe
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla
2011 J jnl
An overview of Ciao and its design philosophy
CoRR
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Edison Mera, José F. Morales, German Puebla
2011 C conf
Modular Extensions for Modular (Logic) Languages.
LOPSTR
José F. Morales, Manuel V. Hermenegildo, Rémy Haemmerlé
2008 — conf
An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy.
Concurrency, Graphs and Models
Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, José F. Morales, Germán Puebla
2008 C conf
Comparing tag scheme variations using an abstract machine generator.
PPDP
José F. Morales, Manuel Carro, Manuel V. Hermenegildo
2006 Misc conf
High-level languages for small devices: a case study.
CASES
Manuel Carro, José F. Morales, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo
2006 C conf
Towards Description and Optimization of Abstract Machines in an Extension of Prolog.
LOPSTR
José F. Morales, Manuel Carro, Manuel V. Hermenegildo
2005 B conf
A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization.
ICLP
José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo
2004 C conf
Improved Compilation of Prolog to C Using Moded Types and Determinism Information.
PADL
José F. Morales, Manuel Carro, Manuel V. Hermenegildo