Clara Segura

Publication Activity (10 Years)

Years Active: 1999-2023
Publications (10 Years): 3

Top Topics

Abstract Interpretation

Functional Language

Recursive Functions

Top Venues

Sci. Comput. Program.

J. Log. Algebraic Methods Program.

ACM Trans. Comput. Log.

Publications

Jorge Blázquez, Manuel Montenegro, Clara Segura
Verification of mutable linear data structures and iterator-based algorithms in Dafny. J. Log. Algebraic Methods Program. 134 (2023)
Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura
Extending Liquid Types to Arrays. ACM Trans. Comput. Log. 21 (2) (2020)
Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura
Liquid Types for Array Invariant Synthesis. ATVA (2017)
Manuel Montenegro, Ricardo Peña, Clara Segura
Space consumption analysis by abstract interpretation: Inference of recursive functions. Sci. Comput. Program. 111 (2015)
Manuel Montenegro, Ricardo Peña, Clara Segura
Space consumption analysis by abstract interpretation: Reductivity properties. Sci. Comput. Program. 111 (2015)
Manuel Montenegro, Ricardo Peña, Clara Segura
Shape analysis in a functional language by using regular languages. Sci. Comput. Program. 111 (2015)
Manuel Montenegro, Ricardo Peña, Clara Segura
A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation. Inf. Comput. 235 (2014)
Manuel Montenegro, Ricardo Peña, Clara Segura
Shape analysis in a functional language by using regular languages. PPDP (2013)
Manuel Montenegro, Ricardo Peña-Marí, Clara Segura
A Simple Region Inference Algorithm for a First-Order Functional Language. WFLP (2009)
Manuel Montenegro, Ricardo Peña, Clara Segura
A Space Consumption Analysis by Abstract Interpretation. FOPARA (2009)
Manuel Montenegro, Ricardo Peña-Marí, Clara Segura
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation. Electron. Notes Theor. Comput. Sci. 246 (2009)
Manuel Montenegro, Ricardo Peña-Marí, Clara Segura
An Inference Algorithm for Guaranteeing Safe Destruction. LOPSTR (2008)
Manuel Montenegro, Ricardo Pena, Clara Segura
A type system for safe memory management and its proof of correctness. PPDP (2008)
Clara Segura, Isabel Pita, Rafael del Vado Vírseda, Ana Isabel Saiz, Pablo Soler
Interactive Learning of Data Structures and Algorithmic Schemes. ICCS (1) (2008)
Clara Segura, Carmen Torrano
Using Template Haskell for Abstract Interpretation. Electron. Notes Theor. Comput. Sci. 177 (2007)
Ricardo Peña-Marí, Clara Segura, Manuel Montenegro
A sharing analysis for SAFE. Trends in Functional Programming (2006)
Fernando Rosa-Velardo, Clara Segura, Alberto Verdejo
Typed Mobile Ambients in Maude. Electron. Notes Theor. Comput. Sci. 147 (1) (2006)
Fernando Rosa-Velardo, Clara Segura, David de Frutos-Escrig
Tagged Systems: A Framework for the Specification of History-dependent Properties. Electron. Notes Theor. Comput. Sci. 137 (1) (2005)
Ricardo Peña-Marí, Clara Segura
Non-determinism analyses in a parallel-functional language. J. Funct. Program. 15 (1) (2005)
Ricardo Peña-Marí, Clara Segura
Reasoning About Skeletons in Eden. PARCO (2005)
Clara Segura, Ricardo Pena
Correctness of Non-determinism Analyses in a Parallel-Functional Language. IFL (2003)
Ricardo Pena, Clara Segura
A Polynomial-Cost Non-determinism Analysis. IFL (2001)
Ricardo Pena, Clara Segura
Sized Types for Typing Eden Skeletons. IFL (2001)
Ricardo Pena, Fernando Rubio, Clara Segura
Deriving Non-Hierarchical Process Topologies. Scottish Functional Programming Workshop (2001)
Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura
Adding Traces to a Lazy Monadic Evaluator. EUROCAST (2001)
Ricardo Pena, Clara Segura
Non-determinism Analysis in a Parallel-Functional Language. IFL (2000)
Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura
Optimising Eden by transformation. Scottish Functional Programming Workshop (2000)
Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura
Optimizing Eden by Program Transformation. WFLP (2000)
Ulrike Klusik, Ricardo Pena, Clara Segura
Bypassing of Channels in Eden. Scottish Functional Programming Workshop (1999)