Publicaciones en las que colabora con Manuel de Hermenegildo Salinas (48)

2023

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

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Some Thoughts on How to Teach Prolog

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 107-123

  3. Towards a Rule-Based Approach for Deriving Abstract Domains

    Electronic Proceedings in Theoretical Computer Science, EPTCS

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

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  5. Types, Modes and so Much More – The Prolog Way

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Springer Science and Business Media Deutschland GmbH), pp. 23-37

2021

  1. Erratum: A general framework for static profiling of parametric resource usage (Theory and Practice of Logic Programming (2016) 16:5–6 (849–865) DOI: 10.1017/S1471068416000442)

    Theory and Practice of Logic Programming

  2. Regular path clauses and their application in solving loops

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  3. Testing Your (Static Analysis) Truths

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

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

    Theory and Practice of Logic Programming, Vol. 21, Núm. 6, pp. 768-784

2020

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

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

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

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  3. Computing Abstract Distances in Logic Programs

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  4. Cost Analysis of Smart Contracts Via Parametric Resource Analysis

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  5. From big-step to small-step semantics and back with interpreter specialisation

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  6. Preface

    Fundamenta Informaticae

2019

  1. Towards computing abstract distances in logic programs

    Electronic Proceedings in Theoretical Computer Science, EPTCS

2018

  1. Inferring energy bounds via static program analysis and evolutionary modeling of basic blocks

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

  2. Interval-based resource usage verification by translation into Horn clauses and an application to energy consumption

    Theory and Practice of Logic Programming, Vol. 18, Núm. 2, pp. 167-223

  3. Static performance guarantees for programs with run-time checks

    ACM International Conference Proceeding Series

  4. Towards static performance guarantees for programs with run-time checks

    OpenAccess Series in Informatics