Ricardo Peña

Available identifiers

zbMath Open pena.ricardoMaRDI QIDQ1984796

List of research outcomes

Publication	Date of Publication	Type
Liquid types for array invariant synthesis	2022-08-12	Paper
White-box path generation in recursive programs	2021-07-01	Paper
Extending liquid types to arrays	2020-09-11	Paper
An assertional proof of red-black trees using Dafny	2020-04-07	Paper
A new look at pattern matching in abstract data types	2016-09-01	Paper
A generic intermediate representation for verification condition generation	2016-02-05	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
Interpolation-based height analysis for improving a recurrence solver	2012-11-02	Paper
A space consumption analysis by abstract interpretation	2010-09-14	Paper
Formal Certification of a Resource-Aware Language Implementation	2009-10-20	Paper
An Inference Algorithm for Guaranteeing Safe Destruction	2009-03-24	Paper
From natural semantics to C: A formal derivation of two STG machines	2009-01-08	Paper
Implementation of Functional Languages	2005-08-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/Q4817289	2004-09-22	Paper
https://portal.mardi4nfdi.de/entity/Q4736978	2004-08-11	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/Q4460216	2004-05-18	Paper
Comparing parallel functional languages: Programming and performance	2004-03-15	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: Ricardo Peña