Följ
Manuel Montenegro
Titel
Citeras av
Citeras av
År
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
342008
A sharing analysis for SAFE
R Pena, C Segura, M Montenegro
Trends in Functional Programming 7, 109-128, 2007
302007
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
272009
An inference algorithm for guaranteeing safe destruction
M Montenegro, R Pena, C Segura
Logic-Based Program Synthesis and Transformation: 18th International …, 2009
232009
A space consumption analysis by abstract interpretation
M Montenegro, R Pena, C Segura
International Workshop on Foundational and Practical Aspects of Resource …, 2009
202009
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
152009
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
122011
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
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
112015
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
62014
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
Liquid types for array invariant synthesis
M Montenegro, S Nieva, R Peña, C Segura
Automated Technology for Verification and Analysis: 15th International …, 2017
42017
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
Shape analysis in a functional language by using regular languages
M Montenegro, R Peña, C Segura
Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013
42013
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
42011
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
42009
Verification of mutable data structures in Dafny: methodological aspects
J Blázquez, M Montenegro Montes, CM Segura Díaz
32021
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20