Clara Segura

32 papers B 2C 3Journal 9Unranked 18
YearRankTypeTitle / Venue / Authors
2026 J jnl
Complexity analysis and practical resolution of the data classification problem with private characteristics.
CoRR
David Pantoja, Ismael Rodríguez, Fernando Rubio, Clara Segura
2025 J jnl
Complexity analysis and practical resolution of the data classification problem with private characteristics.
Complex Intell. Syst.
David Pantoja, Ismael Rodríguez, Fernando Rubio, Clara Segura
2025 B conf
Verified Implementation of Associative Containers with Iterators Using Threaded Red-Black Trees.
iFM
Jorge Blázquez, Manuel Montenegro, Clara Segura
2023 J jnl
Verification of mutable linear data structures and iterator-based algorithms in Dafny.
J. Log. Algebraic Methods Program.
Jorge Blázquez, Manuel Montenegro, Clara Segura
2020 J jnl
Extending Liquid Types to Arrays.
ACM Trans. Comput. Log.
Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura
2017 B conf
Liquid Types for Array Invariant Synthesis.
ATVA
Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura
2015 J jnl
Shape analysis in a functional language by using regular languages.
Sci. Comput. Program.
Manuel Montenegro, Ricardo Peña, Clara Segura
2015 J jnl
Space consumption analysis by abstract interpretation: Inference of recursive functions.
Sci. Comput. Program.
Manuel Montenegro, Ricardo Peña, Clara Segura
2015 J jnl
Space consumption analysis by abstract interpretation: Reductivity properties.
Sci. Comput. Program.
Manuel Montenegro, Ricardo Peña, Clara Segura
2014 J jnl
A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation.
Inf. Comput.
Manuel Montenegro, Ricardo Peña, Clara Segura
2013 C conf
Shape analysis in a functional language by using regular languages.
PPDP
Manuel Montenegro, Ricardo Peña, Clara Segura
2009 — conf
A Simple Region Inference Algorithm for a First-Order Functional Language.
WFLP
Manuel Montenegro, Ricardo Peña-Marí, Clara Segura
2009 — conf
A Space Consumption Analysis by Abstract Interpretation.
FOPARA
Manuel Montenegro, Ricardo Peña, Clara Segura
2008 — conf
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation.
WFLP
Manuel Montenegro, Ricardo Peña-Marí, Clara Segura
2008 C conf
A type system for safe memory management and its proof of correctness.
PPDP
Manuel Montenegro, Ricardo Pena, Clara Segura
2008 C conf
An Inference Algorithm for Guaranteeing Safe Destruction.
LOPSTR
Manuel Montenegro, Ricardo Peña-Marí, Clara Segura
2008 — conf
Interactive Learning of Data Structures and Algorithmic Schemes.
ICCS (1)
Clara Segura, Isabel Pita, Rafael del Vado Vírseda, Ana Isabel Saiz, Pablo Soler
2006 — conf
A sharing analysis for SAFE.
Trends in Functional Programming
Ricardo Peña-Marí, Clara Segura, Manuel Montenegro
2006 — conf
Using Template Haskell for Abstract Interpretation.
WFLP
Clara Segura, Carmen Torrano
2005 J jnl
Non-determinism analyses in a parallel-functional language.
J. Funct. Program.
Ricardo Peña-Marí, Clara Segura
2005 — conf
Reasoning About Skeletons in Eden.
PARCO
Ricardo Peña-Marí, Clara Segura
2005 — conf
Typed Mobile Ambients in Maude.
RULE@RDP
Fernando Rosa-Velardo, Clara Segura, Alberto Verdejo
2004 — conf
Tagged Systems: A Framework for the Specification of History-dependent Properties.
PROLE
Fernando Rosa-Velardo, Clara Segura, David de Frutos-Escrig
2003 — conf
Correctness of Non-determinism Analyses in a Parallel-Functional Language.
IFL
Clara Segura, Ricardo Pena
2001 — conf
A Polynomial-Cost Non-determinism Analysis.
IFL
Ricardo Pena, Clara Segura
2001 — conf
Adding Traces to a Lazy Monadic Evaluator.
EUROCAST
Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura
2001 — conf
Deriving Non-Hierarchical Process Topologies.
Scottish Functional Programming Workshop
Ricardo Pena, Fernando Rubio, Clara Segura
2001 — conf
Sized Types for Typing Eden Skeletons.
IFL
Ricardo Pena, Clara Segura
2000 — conf
Non-determinism Analysis in a Parallel-Functional Language.
IFL
Ricardo Pena, Clara Segura
2000 — conf
Optimising Eden by transformation.
Scottish Functional Programming Workshop
Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura
2000 — conf
Optimizing Eden by Program Transformation.
WFLP
Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura
1999 — conf
Bypassing of Channels in Eden.
Scottish Functional Programming Workshop
Ulrike Klusik, Ricardo Pena, Clara Segura