Publicaciones (29) Publicaciones de CLARA MARÍA SEGURA DÍAZ

2023

  1. UnitJudge: a novel online automatic correction system for long programming practices by means of unit tests

    10th International and the 16th National Conference on E-Learning and E-Teaching, ICeLeT 2023

  2. 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)

  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

  2. Interactive learning of data structures and algorithmic schemes

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

2007

  1. Una herramienta para el estudio de estructuras de datos y algoritmos

    Innovación en el Campus virtual : metodologias y herramientas / III Jornada Campus virtual UCM

  2. Using Template Haskell for Abstract Interpretation

    Electronic Notes in Theoretical Computer Science, Vol. 177, Núm. 1, pp. 201-217

2006

  1. A tool for interactive learning of data structures and algorithms

    8th International Symposium on Computers in Education Proceedings, SIIE 2006

  2. A tool for interactive learning of data structures and algorithms

    8th International Symposium on Computers in Education: proceedings : october 24-26th, León, Spain (Universidad de León), pp. 141-148