Publicaciones en las que colabora con RICARDO VICENTE PEÑA MARÍ (15)

2020

  1. Extending liquid types to arrays

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

2017

  1. Liquid types for array invariant synthesis

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

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. Shape analysis in a functional language by using regular languages

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

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

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

  4. 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

2013

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

    Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming, PPDP 2013

2012

  1. Interpolation-based height analysis for improving a recurrence solver

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

2010

  1. A simple region inference algorithm for a first-order functional language

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

  2. A space consumption analysis by abstract interpretation

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

  3. Certified absence of dangling pointers in a language with explicit deallocation

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

2009

  1. A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation

    Electronic Notes in Theoretical Computer Science, Vol. 246, pp. 167-182

  2. An inference algorithm for guaranteeing safe destruction

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

2008

  1. A type system for safe memory management and its proof of correctness

    PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming