MANUEL
MONTENEGRO MONTES
Profesor ayudante doctor
Publications (27) Publications de MANUEL MONTENEGRO MONTES
2023
-
Verification of mutable linear data structures and iterator-based algorithms in Dafny
Journal of Logical and Algebraic Methods in Programming, Vol. 134
-
Verification of the ROS NavFn planner using executable specification languages
Journal of Logical and Algebraic Methods in Programming, Vol. 132
2022
-
Improving Database Learning with an Automatic Judge
Proceedings of the International Conference on Software Engineering and Knowledge Engineering, SEKE
-
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
-
Deriving overloaded success type schemes in Erlang
Journal of Computer Languages, Vol. 58
-
Extending liquid types to arrays
ACM Transactions on Computational Logic, Vol. 21, Núm. 2
2018
-
Polymorphic success types for erlang
EPiC Series in Computing
2017
-
Liquid types for array invariant synthesis
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2016
-
Polymorphic types in erlang function specifications
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015
-
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)
-
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)
-
Shape analysis in a functional language by using regular languages
Science of Computer Programming, Vol. 111, Núm. P1, pp. 51-78
-
Space consumption analysis by abstract interpretation: Inference of recursive functions
Science of Computer Programming, Vol. 111, Núm. P3, pp. 426-457
-
Space consumption analysis by abstract interpretation: Reductivity properties
Science of Computer Programming, Vol. 111, Núm. P3, pp. 458-482
2014
-
A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation
Information and Computation, Vol. 235, pp. 3-35
-
ResAna: A resource analysis toolset for (real-time) JAVA
Concurrency Computation , Vol. 26, Núm. 14, pp. 2432-2455
2013
-
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
-
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)
-
Making Resource Analysis Practical for Real-Time Java
PROCEEDINGS OF THE 10TH INTERNATIONAL WORKSHOP ON JAVA TECHNOLOGIES FOR REAL-TIME AND EMBEDDED SYSTEMS
-
Making resource analysis practical for real-time java
ACM International Conference Proceeding Series