José F. Morales

According to our database, José F. Morales authored at least 59 papers between 2004 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Types, Modes and so Much More - The Prolog Way.

Manuel V. Hermenegildo, José F. Morales, Pedro López-García, Manuel Carro

Proceedings of the Prolog: The Next 50 Years, 2023

Some Thoughts on How to Teach Prolog.

Manuel V. Hermenegildo, José F. Morales, Pedro López-García

Proceedings of the Prolog: The Next 50 Years, 2023

Teaching Prolog with Active Logic Documents.

José F. Morales, Salvador Abreu, Daniela Ferreiro, Manuel V. Hermenegildo

Proceedings of the Prolog: The Next 50 Years, 2023

Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials.

Daniela Ferreiro, José F. Morales, Salvador Abreu, Manuel V. Hermenegildo

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

A Rule-Based Approach for Designing and Composing Abstract Domains.

Daniel Jurjo, José F. Morales, Pedro López-García, Manuel V. Hermenegildo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2023

Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation.

John P. Gallagher, Manuel V. Hermenegildo, José F. Morales, Pedro López-García

Proceedings of the Logic-Based Program Synthesis and Transformation, 2023

2022

Introduction to the 38th International Conference on Logic Programming Special Issue II.

Yuliya Lierler, José F. Morales

Theory Pract. Log. Program., 2022

Introduction to the 38th International Conference on Logic Programming Special Issue.

Yuliya Lierler, José F. Morales

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, Jan Wielemaker, Daniel Diaz, Salvador Abreu

Theory Pract. Log. Program., 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, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto

CoRR, 2022

An s(CASP) In-Browser Playground based on Ciao Prolog.

Guillermo García-Pradales, José F. Morales, Manuel V. Hermenegildo, Joaquín Arias, Manuel Carro

Proceedings of the International Conference on Logic Programming 2022 Workshops co-located with the 38th International Conference on Logic Programming (ICLP 2022), Haifa, Israel, July 31st, 2022

2021

VeriFly: On-the-fly Assertion Checking via Incrementality.

Miguel A. Sanchez-Ordaz, Isabel Garcia-Contreras, Victor Perez-Carrasco, José F. Morales, Pedro López-García, Manuel V. Hermenegildo

Theory Pract. Log. Program., 2021

Incremental and Modular Context-sensitive Analysis.

Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo

Theory Pract. Log. Program., 2021

Regular Path Clauses and Their Application in Solving Loops.

Bishoksan Kafle, John P. Gallagher, Manuel V. Hermenegildo, Maximiliano Klemen, Pedro López-García, José F. Morales

Proceedings of the Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis, 2021

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, José F. Morales

Proceedings of the Proceedings 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis, 2020

Spectector: Principled Detection of Speculative Information Flows.

Marco Guarnieri, Boris Köpf, José F. Morales, Jan Reineke, Andrés Sánchez

Proceedings of the 2020 IEEE Symposium on Security and Privacy, 2020

Cost Analysis of Smart Contracts Via Parametric Resource Analysis.

Victor Perez-Carrasco, Maximiliano Klemen, Pedro López-García, José Francisco Morales, Manuel V. Hermenegildo

Proceedings of the Static Analysis - 27th International Symposium, 2020

Testing Your (Static Analysis) Truths.

Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2020

2019

Towards a General Framework for Static Cost Analysis of Parallel Logic Programs.

Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo

CoRR, 2019

Computing Abstract Distances in Logic Programs.

Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo

CoRR, 2019

Theory and Practice of Finding Eviction Sets.

Pepe Vila, Boris Köpf, José F. Morales

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

A General Framework for Static Cost Analysis of Parallel Logic Programs.

Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

Incremental Analysis of Logic Programs with Assertions and Open Predicates.

Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

An Integrated Approach to Assertion-Based Random Testing in Prolog.

Ignacio Casso, José F. Morales, Pedro López-García, Manuel V. Hermenegildo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

Computing Abstract Distances in Logic Programs.

Ignacio Casso, José F. Morales, Pedro López-García, Roberto Giacobazzi, Manuel V. Hermenegildo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2019

2018

Some trade-offs in reducing the overhead of assertion run-time checks via static analysis.

Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo

Sci. Comput. Program., 2018

An Approach to Static Performance Guarantees for Programs with Run-time Checks.

Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo

CoRR, 2018

An Approach to Incremental and Modular Context-sensitive Analysis of Logic Programs.

Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo

CoRR, 2018

Static Performance Guarantees for Programs with Runtime Checks.

Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo

Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018

Exploiting Term Hiding to Reduce Run-Time Checking Overhead.

Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo

Proceedings of the Practical Aspects of Declarative Languages, 2018

Multivariant Assertion-Based Guidance in Abstract Interpretation.

Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2018

Towards Static Performance Guarantees for Programs with Run-Time Checks.

Maximiliano Klemen, Nataliia Stulova, Pedro López-García, José F. Morales, Manuel V. Hermenegildo

Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

Towards Incremental and Modular Context-Sensitive Analysis.

Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo

Proceedings of the Technical Communications of the 34th International Conference on Logic Programming, 2018

2017

Term Hiding and its Impact on Run-time Check Simplification.

Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo

CoRR, 2017

Towards Run-time Checks Simplification via Term Hiding.

Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo

Proceedings of the Technical Communications of the 33rd International Conference on Logic Programming, 2017

2016

Description and Optimization of Abstract Machines in a Dialect of Prolog.

José F. Morales, Manuel Carro, Manuel V. Hermenegildo

Theory Pract. Log. Program., 2016

Semantic code browsing.

Isabel Garcia-Contreras, José F. Morales, Manuel V. Hermenegildo

Theory Pract. Log. Program., 2016

Reducing the overhead of assertion run-time checks via static analysis.

Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo

Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, 2016

Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata.

Bishoksan Kafle, John P. Gallagher, José F. Morales

Proceedings of the Computer Aided Verification - 28th International Conference, 2016

2015

Practical run-time checking via unobtrusive property caching.

Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo

Theory Pract. Log. Program., 2015

2014

Towards Assertion-based Debugging of Higher-Order (C)LP Programs.

Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo

CoRR, 2014

An Approach to Assertion-based Debugging of Higher-Order (C)LP Programs.

Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo

CoRR, 2014

Assertion-based Debugging of Higher-Order (C)LP Programs.

Nataliia Stulova, José F. Morales, Manuel V. Hermenegildo

Proceedings of the 16th International Symposium on Principles and Practice of Declarative Programming, 2014

Pre-indexed Terms for Prolog.

José F. Morales, Manuel V. Hermenegildo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2014

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

CoRR, 2013

Reversible Language Extensions and their Application in Debugging

Zoé Drey, José F. Morales, Manuel V. Hermenegildo

CoRR, 2013

Proceedings of the 23rd Workshop on Logic-based methods in Programming Environments (WLPE 2013).

Rémy Haemmerlé, José F. Morales

CoRR, 2013

Reversible Language Extensions and Their Application in Debugging.

Zoé Drey, José F. Morales, Manuel V. Hermenegildo, Manuel Carro

Proceedings of the Practical Aspects of Declarative Languages, 2013

2012

Lightweight compilation of (C)LP to JavaScript.

José F. Morales, Rémy Haemmerlé, Manuel Carro, 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, Edison Mera, José F. Morales, Germán Puebla

Theory Pract. Log. Program., 2012

2011

An Overview of the Ciao System.

Manuel V. Hermenegildo, Francisco Bueno, Manuel Carro, Pedro López-García, Rémy Haemmerlé, Edison Mera, José F. Morales, Germán Puebla

Proceedings of the Rule-Based Reasoning, Programming, and Applications, 2011

Modular Extensions for Modular (Logic) Languages.

José F. Morales, Manuel V. Hermenegildo, Rémy Haemmerlé

Proceedings of the Logic-Based Program Synthesis and Transformation, 2011

2010

Advanced Compilation Techniques for Logic Programming = Técnicas Avanzadas de Compilación para Programación Lógica.

José Francisco Morales

PhD thesis, 2010

2008

Comparing tag scheme variations using an abstract machine generator.

José F. Morales, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

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, José F. Morales, Germán Puebla

Proceedings of the Concurrency, 2008

2006

Towards Description and Optimization of Abstract Machines in an Extension of Prolog.

José F. Morales, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Logic-Based Program Synthesis and Transformation, 2006

High-level languages for small devices: a case study.

Manuel Carro, José F. Morales, Henk L. Muller, Germán Puebla, Manuel V. Hermenegildo

Proceedings of the 2006 International Conference on Compilers, 2006

2005

A Generator of Efficient Abstract Machine Implementations and Its Application to Emulator Minimization.

José F. Morales, Manuel Carro, Germán Puebla, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 21st International Conference, 2005

2004

Improved Compilation of Prolog to C Using Moded Types and Determinism Information.

José F. Morales, Manuel Carro, Manuel V. Hermenegildo

Proceedings of the Practical Aspects of Declarative Languages, 6th International Symposium, 2004