Seguir
Manuel Montenegro
Título
Citado por
Citado por
Año
A type system for safe memory management and its proof of correctness
M Montenegro, R Pena, C Segura
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
382008
A sharing analysis for SAFE
R Pena, C Segura, M Montenegro
Trends in Functional Programming 7, 109-128, 2007
312007
A simple region inference algorithm for a first-order functional language
M Montenegro, R Pena, C Segura
International Workshop on Functional and Constraint Logic Programming, 145-161, 2009
302009
An inference algorithm for guaranteeing safe destruction
M Montenegro, R Pena, C Segura
Logic-Based Program Synthesis and Transformation: 18th International …, 2009
242009
A space consumption analysis by abstract interpretation
M Montenegro, R Pena, C Segura
International Workshop on Foundational and Practical Aspects of Resource …, 2009
222009
A resource-aware semantics and abstract machine for a functional language with explicit deallocation
M Montenegro, R Pena, C Segura
Electronic Notes in Theoretical Computer Science 246, 167-182, 2009
182009
Interpolation-based height analysis for improving a recurrence solver
M Montenegro, O Shkaravska, M van Eekelen, R Pena
International Workshop on Foundational and Practical Aspects of Resource …, 2011
132011
A generic intermediate representation for verification condition generation
M Montenegro, R Peña, J Sánchez-Hernández
Logic-Based Program Synthesis and Transformation: 25th International …, 2015
122015
Certified absence of dangling pointers in a language with explicit deallocation
J De Dios, M Montenegro, R Peña
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy …, 2010
122010
ResAna: a resource analysis toolset for (real‐time) JAVA
RWJ Kersten, BE Van Gastel, O Shkaravska, M Montenegro, ...
Concurrency and Computation: Practice and Experience 26 (14), 2432-2455, 2014
112014
Making resource analysis practical for real-time Java
R Kersten, O Shkaravska, B van Gastel, M Montenegro, M van Eekelen
Proceedings of the 10th International Workshop on Java Technologies for Real …, 2012
102012
A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation
M Montenegro, R Peña, C Segura
Information and Computation 235, 3-35, 2014
72014
Verification of the ROS NavFn planner using executable specification languages
E Martin-Martin, M Montenegro, A Riesco, J Rodríguez-Hortalá, R Rubio
Journal of Logical and Algebraic Methods in Programming 132, 100860, 2023
52023
Verification of mutable data structures in Dafny: methodological aspects
J Blázquez, M Montenegro Montes, CM Segura Díaz
52021
Extending Liquid Types to Arrays
M Montenegro, S Nieva, R Peña, C Segura
ACM Transactions on Computational Logic (TOCL) 21 (2), 1-41, 2020
52020
Liquid types for array invariant synthesis
M Montenegro, S Nieva, R Peña, C Segura
Automated Technology for Verification and Analysis: 15th International …, 2017
52017
Space consumption analysis by abstract interpretation: Inference of recursive functions
M Montenegro, R Peña, C Segura
Science of Computer Programming 111, 426-457, 2015
52015
Verification of ROS navigation using Maude
E Martin-Martin, M Montenegro, A Riesco, J Rodríguez-Hortalá, R Rubio
XX Jornadas de Programación y Lenguajes (PROLE). Sistedes, 2021
42021
Polymorphic types in erlang function specifications
FJ López-Fraguas, M Montenegro, J Rodríguez-Hortalá
Functional and Logic Programming: 13th International Symposium, FLOPS 2016 …, 2016
42016
Space consumption analysis by abstract interpretation
M Montenegro, R Peña, C Segura
Science of Computer Programming 111 (P3), 426-457, 2015
42015
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20