Manuel Montenegro
Title
Cited by
Cited by
Year
A type system for safe memory management and its proof of correctness
M Montenegro, R Peña, C Segura
Proceedings of the 10th international ACM SIGPLAN conference on Principles …, 2008
332008
A sharing analysis for SAFE
R Pena, C Segura, M Montenegro
Trends in Functional Programming 7, 109-128, 2007
262007
A simple region inference algorithm for a first-order functional language
M Montenegro, R Peña, C Segura
International Workshop on Functional and Constraint Logic Programming, 145-161, 2009
252009
An inference algorithm for guaranteeing safe destruction
M Montenegro, R Pena, C Segura
International Symposium on Logic-Based Program Synthesis and Transformation …, 2008
212008
A space consumption analysis by abstract interpretation
M Montenegro, R Peña, C Segura
International Workshop on Foundational and Practical Aspects of Resource …, 2009
182009
A resource-aware semantics and abstract machine for a functional language with explicit deallocation
M Montenegro, R Peña, C Segura
Electronic Notes in Theoretical Computer Science 246, 167-182, 2009
142009
Interpolation-based height analysis for improving a recurrence solver
M Montenegro, O Shkaravska, M Van Eekelen, R Peña
International Workshop on Foundational and Practical Aspects of Resource …, 2011
122011
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
112012
Certified absence of dangling pointers in a language with explicit deallocation
J De Dios, M Montenegro, R Peña
International Conference on Integrated Formal Methods, 305-319, 2010
102010
A generic intermediate representation for verification condition generation
M Montenegro, R Peña, J Sánchez-Hernández
International Symposium on Logic-Based Program Synthesis and Transformation …, 2015
92015
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
6*2015
An Inference Algorithm for Guaranteeing Safe Destruction, Logic-Based Program Synthesis and Transformation: 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17 …
M Montenegro, R Peña, C Segura
Springer-Verlag, Berlin, Heidelberg, 2009
62009
Liquid types for array invariant synthesis
M Montenegro, S Nieva, R Peña, C Segura
International Symposium on Automated Technology for Verification and …, 2017
32017
Polymorphic types in erlang function specifications
FJ López-Fraguas, M Montenegro, J Rodríguez-Hortalá
International Symposium on Functional and Logic Programming, 181-197, 2016
32016
Shape analysis in a functional language by using regular languages
M Montenegro, R Peña, C Segura
Science of Computer Programming 111, 51-78, 2015
32015
A resource-aware semantics and abstract machine for Safe
M Montenegro, R Peña, C Segura
A functional language with regions and explicit deallocation, 2011
32011
Experiences in developing a compiler for safe using Haskell
M Montenegro, R Peña, C Segura
Actas del I Taller de Programación Funcional, TPF 9, 31-46, 2009
32009
Extending Liquid Types to Arrays
M Montenegro, S Nieva, R Pena, C Segura
ACM Transactions on Computational Logic (TOCL) 21 (2), 1-41, 2020
22020
A program transformation for converting java assertions into control-flow statements
R Caballero, V von Hof, M Montenegro, H Kuchen
ERCIS Working Paper, 2016
22016
The system can't perform the operation now. Try again later.
Articles 1–20