Clara Segura

Available identifiers

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
https://portal.mardi4nfdi.de/entity/Q2863877	2013-12-04	Paper
https://portal.mardi4nfdi.de/entity/Q2850671	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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Clara Segura