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

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

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

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

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

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

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)

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)

  3. Experiences in developing a complier for Safe using Haskell

    Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009

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

2005

  1. Non-determinism analyses in a parallel-functional language

    Journal of Functional Programming, Vol. 15, Núm. 1, pp. 67-100

2004

  1. Correctness of Non-determinism Analyses in a Parallel-Functional Language

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3145, pp. 69-85

2002

  1. A polynomial-cost non-determinism analysis

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

  2. Sized types for typing Eden skeletons

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

2001

  1. A Comparison between three Non-determinism Analyses in a Parallel-Functional Language

    Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001

  2. Adding traces to a lazy monadic evaluator

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

  3. Non-determinism analysis in a parallel-functional language

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