Clara Segura

According to our database, Clara Segura authored at least 28 papers between 1999 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Verification of mutable linear data structures and iterator-based algorithms in Dafny.

Jorge Blázquez, Manuel Montenegro, Clara Segura

J. Log. Algebraic Methods Program., August, 2023

2020

Extending Liquid Types to Arrays.

Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura

ACM Trans. Comput. Log., 2020

2017

Liquid Types for Array Invariant Synthesis.

Manuel Montenegro, Susana Nieva, Ricardo Peña, Clara Segura

Proceedings of the Automated Technology for Verification and Analysis, 2017

2015

Space consumption analysis by abstract interpretation: Reductivity properties.

Manuel Montenegro, Ricardo Peña, Clara Segura

Sci. Comput. Program., 2015

Space consumption analysis by abstract interpretation: Inference of recursive functions.

Manuel Montenegro, Ricardo Peña, Clara Segura

Sci. Comput. Program., 2015

Shape analysis in a functional language by using regular languages.

Manuel Montenegro, Ricardo Peña, Clara Segura

Sci. Comput. Program., 2015

2014

A resource semantics and abstract machine for Safe: A functional language with regions and explicit deallocation.

Manuel Montenegro, Ricardo Peña, Clara Segura

Inf. Comput., 2014

2009

A Simple Region Inference Algorithm for a First-Order Functional Language.

Manuel Montenegro, Ricardo Peña-Marí, Clara Segura

Proceedings of the Functional and Constraint Logic Programming, 2009

A Space Consumption Analysis by Abstract Interpretation.

Manuel Montenegro, Ricardo Peña, Clara Segura

Proceedings of the Foundational and Practical Aspects of Resource Analysis, 2009

2008

A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation.

Manuel Montenegro, Ricardo Peña-Marí, Clara Segura

Proceedings of the 17th International Workshop on Functional and (Constraint) Logic Programming, 2008

A type system for safe memory management and its proof of correctness.

Manuel Montenegro, Ricardo Pena, Clara Segura

Proceedings of the 10th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2008

An Inference Algorithm for Guaranteeing Safe Destruction.

Manuel Montenegro, Ricardo Peña-Marí, Clara Segura

Proceedings of the Logic-Based Program Synthesis and Transformation, 2008

Interactive Learning of Data Structures and Algorithmic Schemes.

Clara Segura, Isabel Pita, Rafael del Vado Vírseda, Ana Isabel Saiz, Pablo Soler

Proceedings of the Computational Science, 2008

2006

Using Template Haskell for Abstract Interpretation.

Clara Segura, Carmen Torrano

Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, 2006

A sharing analysis for SAFE.

Ricardo Peña-Marí, Clara Segura, Manuel Montenegro

Proceedings of the Revised Selected Papers from the Seventh Symposium on Trends in Functional Programming, 2006

2005

Non-determinism analyses in a parallel-functional language.

Ricardo Peña-Marí, Clara Segura

J. Funct. Program., 2005

Typed Mobile Ambients in Maude.

Fernando Rosa-Velardo, Clara Segura, Alberto Verdejo

Proceedings of the 6th International Workshop on Rule-Based Programming, 2005

Reasoning About Skeletons in Eden.

Ricardo Peña-Marí, Clara Segura

Proceedings of the Parallel Computing: Current & Future Issues of High-End Computing, 2005

2004

Tagged Systems: A Framework for the Specification of History-dependent Properties.

Fernando Rosa-Velardo, Clara Segura, David de Frutos-Escrig

Proceedings of the Fourth Spanish Conference on Programming and Computer Languages, 2004

2003

Correctness of Non-determinism Analyses in a Parallel-Functional Language.

Clara Segura, Ricardo Pena

Proceedings of the Implementation of Functional Languages, 15th International Workshop, 2003

2001

Deriving Non-Hierarchical Process Topologies.

Ricardo Pena, Fernando Rubio, Clara Segura

Proceedings of the Selected papers from the 3rd Scottish Functional Programming Workshop (SFP01), 2001

A Polynomial-Cost Non-determinism Analysis.

Ricardo Pena, Clara Segura

Proceedings of the Implementation of Functional Languages, 13th International Workshop, 2001

Sized Types for Typing Eden Skeletons.

Ricardo Pena, Clara Segura

Proceedings of the Implementation of Functional Languages, 13th International Workshop, 2001

Adding Traces to a Lazy Monadic Evaluator.

Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura

Proceedings of the Computer Aided Systems Theory, 2001

2000

Optimizing Eden by Program Transformation.

Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

Optimising Eden by transformation.

Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura

Proceedings of the Selected papers from the 2nd Scottish Functional Programming Workshop (SFP00), 2000

Non-determinism Analysis in a Parallel-Functional Language.

Ricardo Pena, Clara Segura

Proceedings of the Implementation of Functional Languages, 12th International Workshop, 2000

1999

Bypassing of Channels in Eden.

Ulrike Klusik, Ricardo Pena, Clara Segura

Proceedings of the Selected papers from the 1st Scottish Functional Programming Workshop (SFP99), 1999