Folgen
CLARA MARIA SEGURA DIAZ
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
Typed mobile ambients in Maude
F Rosa-Velardo, C Segura, A Verdejo
Electronic Notes in Theoretical Computer Science 147 (1), 135-161, 2006
282006
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
Deriving Non-Hierarchical Process Topologies.
R Peńa, F Rubio, C Segura
Scottish Functional Programming Workshop, 51-62, 2001
202001
A first-order functional language for reasoning about heap consumption
R Pena, C Segura
Proceedings of the 16th International Workshop on Implementation of …, 2004
162004
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
Interactive Learning of Data Structures and Algorithmic Schemes
C Segura, I Pita, R del Vado Vírseda, AI Saiz, P Soler
Computational Science–ICCS 2008: 8th International Conference, Kraków …, 2008
152008
Optimising Eden by transformation.
C Pareja, R Peńa, F Rubio, C Segura
Scottish Functional Programming Workshop, 13-26, 2000
152000
Bypassing of Channels in Eden.
U Klusik, R Pena, C Segura
Scottish Functional Programming Workshop, 2-10, 1999
131999
Non-determinism analysis in a parallel-functional language
R Peńa, C Segura
Symposium on Implementation and Application of Functional Languages, 1-18, 2000
122000
Estructuras de datos y algoritmos: con énfasis en programación orientada a objetos
AJ Sisa, JV Muńoz
Pearson Educación de Colombia, 2002
112002
Programación en Pascal
S Leestma, LR Nyhoff, N López, F Rubio, CM Segura, S Dormido
Prentice Hall, 1999
101999
Especificación, derivación y análisis de algoritmos: ejercicios resueltos
N Martí Oliet, CM Segura Díaz, JA Verdejo López
Especificación, derivación y análisis de algoritmos: ejercicios resueltos, 2006
92006
Non-determinism analyses in a parallel-functional language
R Peńa, C Segura
Journal of Functional Programming 15 (1), 67-100, 2005
72005
Sized types for typing Eden skeletons
R Pena, C Segura
Symposium on Implementation and Application of Functional Languages, 1-17, 2001
72001
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20