CLARA MARÍA
SEGURA DÍAZ
Profesora titular de universidad
MANUEL
MONTENEGRO MONTES
Profesor ayudante doctor
Publications by the researcher in collaboration with MANUEL MONTENEGRO MONTES (13)
2023
-
Verification of mutable linear data structures and iterator-based algorithms in Dafny
Journal of Logical and Algebraic Methods in Programming, Vol. 134
2020
-
Extending liquid types to arrays
ACM Transactions on Computational Logic, Vol. 21, Núm. 2
2017
-
Liquid types for array invariant synthesis
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2015
-
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
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
2010
-
A simple region inference algorithm for a first-order functional language
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
A space consumption analysis by abstract interpretation
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2009
-
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation
Electronic Notes in Theoretical Computer Science, Vol. 246, pp. 167-182
-
An inference algorithm for guaranteeing safe destruction
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008
-
A type system for safe memory management and its proof of correctness
PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming