José F. Morales

Proceedings of the Prolog: The Next 50 Years, 2023

Some Thoughts on How to Teach Prolog.

[BibT_eX]

[DOI]

Proceedings of the Prolog: The Next 50 Years, 2023

Teaching Prolog with Active Logic Documents.

[BibT_eX]

[DOI]

Salvador Abreu

Daniela Ferreiro

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.

[BibT_eX]

[DOI]

Daniela Ferreiro

Salvador Abreu

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

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

[BibT_eX]

[DOI]

Daniel Jurjo

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

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

[BibT_eX]

[DOI]

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

2022

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

[BibT_eX]

[DOI]

Yuliya Lierler

Theory Pract. Log. Program., 2022

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

[BibT_eX]

[DOI]

Yuliya Lierler

Theory Pract. Log. Program., 2022

Fifty Years of Prolog and Beyond.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2022

50 Years of Prolog and Beyond.

[BibT_eX]

[DOI]

Guillermo García-Pradales

CoRR, 2022

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

[BibT_eX]

[DOI]

Joaquín Arias

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.

[BibT_eX]

[DOI]

Miguel A. Sanchez-Ordaz

Victor Perez-Carrasco

Theory Pract. Log. Program., 2021

Incremental and Modular Context-sensitive Analysis.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2021

Regular Path Clauses and Their Application in Solving Loops.

[BibT_eX]

[DOI]

Bishoksan Kafle

Maximiliano Klemen

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

Cost Analysis of Smart Contracts Via Parametric Resource Analysis.

[BibT_eX]

[DOI]

Victor Perez-Carrasco

Maximiliano Klemen

José Francisco Morales

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

Testing Your (Static Analysis) Truths.

[BibT_eX]

[DOI]

Ignacio Casso

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

2019

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

[BibT_eX]

[DOI]

CoRR, 2019

Computing Abstract Distances in Logic Programs.

[BibT_eX]

[DOI]

Ignacio Casso

CoRR, 2019

Theory and Practice of Finding Eviction Sets.

[BibT_eX]

[DOI]

Pepe Vila

Boris Köpf

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

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

[BibT_eX]

[DOI]

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

Incremental Analysis of Logic Programs with Assertions and Open Predicates.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Ignacio Casso

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

Computing Abstract Distances in Logic Programs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

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

[BibT_eX]

[DOI]

CoRR, 2018

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

[BibT_eX]

[DOI]

CoRR, 2018

Static Performance Guarantees for Programs with Runtime Checks.

[BibT_eX]

[DOI]

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

Exploiting Term Hiding to Reduce Run-Time Checking Overhead.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2018

Multivariant Assertion-Based Guidance in Abstract Interpretation.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Towards Incremental and Modular Context-Sensitive Analysis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

CoRR, 2017

Towards Run-time Checks Simplification via Term Hiding.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

Semantic code browsing.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2016

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Bishoksan Kafle

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

2015

Practical run-time checking via unobtrusive property caching.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2015

2014

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

[BibT_eX]

[DOI]

CoRR, 2014

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

[BibT_eX]

[DOI]

CoRR, 2014

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

[BibT_eX]

[DOI]

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

Pre-indexed Terms for Prolog.

[BibT_eX]

[DOI]

Emilio Jesús Gallego Arias

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

2013

The Ciao clp(FD) Library. A Modular CLP Extension for Prolog

[BibT_eX]

[DOI]

CoRR, 2013

Reversible Language Extensions and their Application in Debugging

[BibT_eX]

[DOI]

Zoé Drey

CoRR, 2013

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

[BibT_eX]

[DOI]

CoRR, 2013

Reversible Language Extensions and Their Application in Debugging.

[BibT_eX]

[DOI]

Zoé Drey

Proceedings of the Practical Aspects of Declarative Languages, 2013

2012

Lightweight compilation of (C)LP to JavaScript.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2012

An overview of Ciao and its design philosophy.

[BibT_eX]

[DOI]

Theory Pract. Log. Program., 2012

2011

An Overview of the Ciao System.

[BibT_eX]

[DOI]

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

Modular Extensions for Modular (Logic) Languages.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

José Francisco Morales

PhD thesis, 2010

2008

Comparing tag scheme variations using an abstract machine generator.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Concurrency, 2008

2006

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Proceedings of the 2006 International Conference on Compilers, 2006

2005

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

[BibT_eX]

[DOI]

Germán Puebla

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

2004

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

[BibT_eX]

[DOI]