Clara Segura

Available identifiers

zbMath Open segura.claraWikidataQ62056270 ScholiaQ62056270MaRDI QIDQ2437793

List of research outcomes

Publication	Date of Publication	Type
Verification of mutable linear data structures and iterator-based algorithms in Dafny	2023-08-08	Paper
Liquid Types for Array Invariant Synthesis	2022-08-12	Paper
Extending Liquid Types to Arrays	2020-09-11	Paper
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation	2015-04-09	Paper
A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation	2014-03-13	Paper
Using Template Haskell for abstract interpretation	2014-01-24	Paper
Typed mobile ambients in Maude	2013-12-04	Paper
Tagged systems: a framework for the specification of history-dependent properties	2013-09-27	Paper
A space consumption analysis by abstract interpretation	2010-09-14	Paper
An Inference Algorithm for Guaranteeing Safe Destruction	2009-03-24	Paper
Implementation of Functional Languages	2005-08-24	Paper
Non-determinism analyses in a parallel-functional language	2005-04-05	Paper
https://portal.mardi4nfdi.de/entity/Q4736971	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4736980	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4433998	2003-11-03	Paper
https://portal.mardi4nfdi.de/entity/Q2763373	2002-01-15	Paper

Research outcomes over time

This page was built for person: Clara Segura