CLARA MARÍA
SEGURA DÍAZ
Profesora titular de universidad
RICARDO VICENTE
PEÑA MARÍ
Profesor emérito
Publikationen, an denen er mitarbeitet RICARDO VICENTE PEÑA MARÍ (20)
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)
-
Experiences in developing a complier for Safe using Haskell
Programación y lenguajes: IX Jornadas sobre Programación y Lenguajes, PROLE'09, I Taller de Programación Funcional, TPF'09, San Sebastián, España, del 8 al 11 de septiembre de 2009
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
2005
-
Non-determinism analyses in a parallel-functional language
Journal of Functional Programming, Vol. 15, Núm. 1, pp. 67-100
2004
-
Correctness of Non-determinism Analyses in a Parallel-Functional Language
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 3145, pp. 69-85
2002
-
A polynomial-cost non-determinism analysis
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Sized types for typing Eden skeletons
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2001
-
A Comparison between three Non-determinism Analyses in a Parallel-Functional Language
Primeras jornadas sobre programación y lenguajes: (Prole 2001) : [celebradas en] Almagro, [el] 23 y 24 de noviembre de 2001
-
Adding traces to a lazy monadic evaluator
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
-
Non-determinism analysis in a parallel-functional language
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)