Следене
CLARA MARIA SEGURA DIAZ
Заглавие
Позовавания
Позовавания
Година
Estructuras de datos en Java: compatible con Java 2
MA Weiss, O Marroquín, C Segura, JA Verdejo
632000
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
292007
A sharing analysis for SAFE
R Pena, C Segura, M Montenegro
Trends in Functional Programming 7, 109-128, 2007
292007
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
Typed mobile ambients in Maude
F Rosa-Velardo, C Segura, A Verdejo
Electronic Notes in Theoretical Computer Science 147 (1), 135-161, 2006
232006
An inference algorithm for guaranteeing safe destruction
M Montenegro, R Pena, C Segura
Logic-Based Program Synthesis and Transformation: 18th International …, 2009
222009
A space consumption analysis by abstract interpretation
M Montenegro, R Pena, C Segura
International Workshop on Foundational and Practical Aspects of Resource …, 2009
202009
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
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
A resource-aware semantics and abstract machine for a functional language with explicit deallocation
M Montenegro, R Peña, C Segura
Electronic Notes in Theoretical Computer Science 246, 167-182, 2009
142009
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
Programación en Pascal
S Leestma, LR Nyhoff, N López, F Rubio, CM Segura, S Dormido
Prentice Hall, 1999
91999
Especificación, derivación y análisis de algoritmos
N Martí, C Segura, J Verdejo
Colección Prentice Practica, Pearson, Prentice Hall, 2006
82006
Estructuras de datos y algoritmos: con énfasis en programación orientada a objetos
AJ Sisa, JV Muñoz
Pearson Educación de Colombia, 2002
82002
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
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20