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/Q4736971	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4736978	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Ricardo Peña