Folgen
Manuel Montenegro
Titel
Zitiert von
Zitiert von
Jahr
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
352008
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
282009
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
212009
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
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
132015
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
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
Verification of mutable data structures in Dafny: methodological aspects
J Blázquez, M Montenegro Montes, CM Segura Díaz
62021
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
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
52021
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 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
42023
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
42020
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20