|
Search the dblp DataBase
Clara Segura:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura
Adding Traces to a Lazy Monadic Evaluator. [Citation Graph (0, 0)][DBLP] EUROCAST, 2001, pp:627-641 [Conf]
- Ricardo Pena, Clara Segura
Non-determinism Analysis in a Parallel-Functional Language. [Citation Graph (0, 0)][DBLP] IFL, 2000, pp:1-18 [Conf]
- Ricardo Pena, Clara Segura
Sized Types for Typing Eden Skeletons. [Citation Graph (0, 0)][DBLP] IFL, 2001, pp:1-17 [Conf]
- Ricardo Pena, Clara Segura
A Polynomial-Cost Non-determinism Analysis. [Citation Graph (0, 0)][DBLP] IFL, 2001, pp:121-137 [Conf]
- Clara Segura, Ricardo Pena
Correctness of Non-determinism Analyses in a Parallel-Functional Language. [Citation Graph (0, 0)][DBLP] IFL, 2003, pp:69-85 [Conf]
- R. Peña, C. M. Segura
Reasoning About Skeletons in Eden. [Citation Graph (0, 0)][DBLP] PARCO, 2005, pp:851-858 [Conf]
- Ulrike Klusik, Ricardo Pena, Clara Segura
Bypassing of Channels in Eden. [Citation Graph (0, 0)][DBLP] Scottish Functional Programming Workshop, 1999, pp:2-10 [Conf]
- Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura
Optimising Eden by transformation. [Citation Graph (0, 0)][DBLP] Scottish Functional Programming Workshop, 2000, pp:13-26 [Conf]
- Ricardo Pena, Fernando Rubio, Clara Segura
Deriving Non-Hierarchical Process Topologies. [Citation Graph (0, 0)][DBLP] Scottish Functional Programming Workshop, 2001, pp:51-62 [Conf]
- Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura
Optimizing Eden by Program Transformation. [Citation Graph (0, 0)][DBLP] WFLP, 2000, pp:89-103 [Conf]
- Fernando Rosa Velardo, Clara Segura, David de Frutos-Escrig
Tagged Systems: A Framework for the Specification of History-dependent Properties. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2005, v:137, n:1, pp:151-174 [Journal]
- Fernando Rosa Velardo, Clara Segura, Alberto Verdejo
Typed Mobile Ambients in Maude. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2006, v:147, n:1, pp:135-161 [Journal]
- Clara Segura, Carmen Torrano
Using Template Haskell for Abstract Interpretation. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:177, n:, pp:201-217 [Journal]
- Ricardo Peña-Marí, Clara Segura
Non-determinism analyses in a parallel-functional language. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2005, v:15, n:1, pp:67-100 [Journal]
- Ricardo Peña-Marí, Clara Segura, Manuel Montenegro
A sharing analysis for SAFE. [Citation Graph (0, 0)][DBLP] Trends in Functional Programming, 2006, pp:109-128 [Conf]
Interactive Learning of Data Structures and Algorithmic Schemes. [Citation Graph (, )][DBLP]
An Inference Algorithm for Guaranteeing Safe Destruction. [Citation Graph (, )][DBLP]
A type system for safe memory management and its proof of correctness. [Citation Graph (, )][DBLP]
A Simple Region Inference Algorithm for a First-Order Functional Language. [Citation Graph (, )][DBLP]
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|