![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Clara Segura
Person information
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2023
- [j7]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: 100875 (2023) - 2020
- [j6]Manuel Montenegro
, Susana Nieva, Ricardo Peña
, Clara Segura:
Extending Liquid Types to Arrays. ACM Trans. Comput. Log. 21(2): 13:1-13:41 (2020) - 2015
- [j5]Manuel Montenegro, Ricardo Peña, Clara Segura
:
Shape analysis in a functional language by using regular languages. Sci. Comput. Program. 111: 51-78 (2015) - [j4]Manuel Montenegro, Ricardo Peña, Clara Segura
:
Space consumption analysis by abstract interpretation: Inference of recursive functions. Sci. Comput. Program. 111: 426-457 (2015) - [j3]Manuel Montenegro, Ricardo Peña, Clara Segura
:
Space consumption analysis by abstract interpretation: Reductivity properties. Sci. Comput. Program. 111: 458-482 (2015) - 2014
- [j2]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: 3-35 (2014) - 2005
- [j1]Ricardo Peña-Marí, Clara Segura
:
Non-determinism analyses in a parallel-functional language. J. Funct. Program. 15(1): 67-100 (2005)
Conference and Workshop Papers
- 2017
- [c22]Manuel Montenegro, Susana Nieva
, Ricardo Peña, Clara Segura:
Liquid Types for Array Invariant Synthesis. ATVA 2017: 289-306 - 2013
- [c21]Manuel Montenegro, Ricardo Peña, Clara Segura
:
Shape analysis in a functional language by using regular languages. PPDP 2013: 251-262 - 2009
- [c20]Manuel Montenegro, Ricardo Peña, Clara Segura
:
A Space Consumption Analysis by Abstract Interpretation. FOPARA 2009: 34-50 - [c19]Manuel Montenegro, Ricardo Peña-Marí, Clara Segura
:
A Simple Region Inference Algorithm for a First-Order Functional Language. WFLP 2009: 145-161 - 2008
- [c18]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: 800-809 - [c17]Manuel Montenegro, Ricardo Peña-Marí, Clara Segura
:
An Inference Algorithm for Guaranteeing Safe Destruction. LOPSTR 2008: 135-151 - [c16]Manuel Montenegro, Ricardo Pena, Clara Segura
:
A type system for safe memory management and its proof of correctness. PPDP 2008: 152-162 - [c15]Manuel Montenegro, Ricardo Peña-Marí, Clara Segura
:
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation. WFLP 2008: 167-182 - 2006
- [c14]Ricardo Peña-Marí, Clara Segura, Manuel Montenegro:
A sharing analysis for SAFE. Trends in Functional Programming 2006: 109-128 - [c13]Clara Segura
, Carmen Torrano:
Using Template Haskell for Abstract Interpretation. WFLP 2006: 201-217 - 2005
- [c12]Ricardo Peña-Marí, Clara Segura:
Reasoning About Skeletons in Eden. PARCO 2005: 851-858 - [c11]Fernando Rosa-Velardo
, Clara Segura
, Alberto Verdejo
:
Typed Mobile Ambients in Maude. RULE@RDP 2005: 135-161 - 2004
- [c10]Fernando Rosa-Velardo
, Clara Segura
, David de Frutos-Escrig
:
Tagged Systems: A Framework for the Specification of History-dependent Properties. PROLE 2004: 151-174 - 2003
- [c9]Clara Segura, Ricardo Pena:
Correctness of Non-determinism Analyses in a Parallel-Functional Language. IFL 2003: 69-85 - 2001
- [c8]Cristóbal Pareja, Ricardo Pena, Fernando Rubio
, Clara Segura:
Adding Traces to a Lazy Monadic Evaluator. EUROCAST 2001: 627-641 - [c7]Ricardo Pena, Clara Segura:
Sized Types for Typing Eden Skeletons. IFL 2001: 1-17 - [c6]Ricardo Pena, Clara Segura:
A Polynomial-Cost Non-determinism Analysis. IFL 2001: 121-137 - [c5]Ricardo Pena, Fernando Rubio, Clara Segura:
Deriving Non-Hierarchical Process Topologies. Scottish Functional Programming Workshop 2001: 51-62 - 2000
- [c4]Ricardo Pena, Clara Segura:
Non-determinism Analysis in a Parallel-Functional Language. IFL 2000: 1-18 - [c3]Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura:
Optimising Eden by transformation. Scottish Functional Programming Workshop 2000: 13-26 - [c2]Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura:
Optimizing Eden by Program Transformation. WFLP 2000: 89-103 - 1999
- [c1]Ulrike Klusik, Ricardo Pena, Clara Segura:
Bypassing of Channels in Eden. Scottish Functional Programming Workshop 1999: 2-10
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:50 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint