Publicaciones en las que colabora con MANUEL MONTENEGRO MONTES (13)

2023

  1. Verification of mutable linear data structures and iterator-based algorithms in Dafny

    Journal of Logical and Algebraic Methods in Programming, Vol. 134

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)

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