Clara Segura

MaRDI QIDQ2437793zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Verification of mutable linear data structures and iterator-based algorithms in Dafny Journal of Logical and Algebraic Methods in Programming	2023-08-08	Paper
Liquid types for array invariant synthesis Automated Technology for Verification and Analysis	2022-08-12	Paper
Extending liquid types to arrays ACM Transactions on Computational Logic	2020-09-11	Paper
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation Electronic Notes in Theoretical Computer Science	2015-04-09	Paper
A resource semantics and abstract machine for \textit{Safe}: a functional language with regions and explicit deallocation Information and Computation	2014-03-13	Paper
Using Template Haskell for abstract interpretation Electronic Notes in Theoretical Computer Science	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 Foundational and Practical Aspects of Resource Analysis	2010-09-14	Paper
An Inference Algorithm for Guaranteeing Safe Destruction Logic-Based Program Synthesis and Transformation	2009-03-24	Paper
Implementation of Functional Languages Lecture Notes in Computer Science	2005-08-24	Paper
Non-determinism analyses in a parallel-functional language Journal of Functional Programming	2005-04-05	Paper
scientific article; zbMATH DE number 2086493 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2086500 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2000444 (Why is no real title available?)	2003-11-03	Paper
scientific article; zbMATH DE number 1691453 (Why is no real title available?)	2002-01-15	Paper

Research outcomes over time

This page was built for person: Clara Segura