Publications (79) RICARDO VICENTE PEÑA MARÍ publications

2023

  1. SMT-Based Test-Case Generation and Validation for Programs with Complex Specifications

    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. 188-205

2022

  1. Las múltiples caras del algoritmo

    Lecciones inaugurales (Departamento de Branding, Publicidad y Comunicación Estratégica), pp. 81-106

  2. Lecciones inaugurales coord.

    Departamento de Branding, Publicidad y Comunicación Estratégica

2020

  1. An Assertional Proof of Red-Black Trees Using Dafny

    Journal of Automated Reasoning, Vol. 64, Núm. 4, pp. 767-791

  2. Extending liquid types to arrays

    ACM Transactions on Computational Logic, Vol. 21, Núm. 2

  3. White-Box Path Generation in Recursive Programs

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

2017

  1. An introduction to liquid Haskell

    Electronic Proceedings in Theoretical Computer Science, EPTCS

  2. Liquid types for array invariant synthesis

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

2016

  1. Debate sobre un proyecto para España

    Temas para el debate, Núm. 256, pp. 38-52

  2. La corrupción, cáncer de la democracia

    Temas para el debate, Núm. 264, pp. 24-25

2015

  1. A generic intermediate representation for verification condition generation

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

  2. Editorial of Special Issue Trends in Functional Programming 2011/12

    Computer Languages, Systems and Structures

  3. Shape analysis in a functional language by using regular languages

    Science of Computer Programming, Vol. 111, Núm. P1, pp. 51-78

  4. Space consumption analysis by abstract interpretation: Inference of recursive functions

    Science of Computer Programming, Vol. 111, Núm. P3, pp. 426-457

  5. Space consumption analysis by abstract interpretation: Reductivity properties

    Science of Computer Programming, Vol. 111, Núm. P3, pp. 458-482

2014

  1. A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation

    Information and Computation, Vol. 235, pp. 3-35

  2. Logic-based program synthesis and transformation 23rd international symposium, LOPSTR 2013 Madrid, Spain, september 18-19, 2013 revised selected papers

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

  3. Preface

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

  4. Preface

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

2013

  1. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface

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