Publicaciones (27) Publicaciones de MANUEL MONTENEGRO MONTES

2023

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

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

  2. Verification of the ROS NavFn planner using executable specification languages

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

2022

  1. Improving Database Learning with an Automatic Judge

    Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE

  2. LearnSQL: un juez para el aprendizaje de las bases de datos

    Jornada «Aprendizaje Eficaz con TIC en la UCM» (Universidad Complutense de Madrid), pp. 277-288

2020

  1. Deriving overloaded success type schemes in Erlang

    Journal of Computer Languages, Vol. 58

  2. Extending liquid types to arrays

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

2018

  1. Polymorphic success types for erlang

    EPiC Series in Computing

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)

2016

  1. Polymorphic types in erlang function specifications

    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. Checking Java assertions using automated test-case generation

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

  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. ResAna: A resource analysis toolset for (real-time) JAVA

    Concurrency Computation , Vol. 26, Núm. 14, pp. 2432-2455

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)

  2. Making Resource Analysis Practical for Real-Time Java

    PROCEEDINGS OF THE 10TH INTERNATIONAL WORKSHOP ON JAVA TECHNOLOGIES FOR REAL-TIME AND EMBEDDED SYSTEMS

  3. Making resource analysis practical for real-time java

    ACM International Conference Proceeding Series