Ricardo Peña-Marí

14 papers C 2Journal 3Unranked 9
YearRankTypeTitle / Venue / Authors
2009 C conf
A Certified Implementation on Top of the Java Virtual Machine.
FMICS
Javier de Dios, Ricardo Peña-Marí
2009 — conf
A Simple Region Inference Algorithm for a First-Order Functional Language.
WFLP
Manuel Montenegro, Ricardo Peña-Marí, Clara Segura
2009 — conf
Formal Certification of a Resource-Aware Language Implementation.
TPHOLs
Javier de Dios, Ricardo Peña-Marí
2009 J jnl
From natural semantics to C: A formal derivation of two STG machines.
J. Funct. Program.
Alberto de la Encina, Ricardo Peña-Marí
2008 — conf
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation.
WFLP
Manuel Montenegro, Ricardo Peña-Marí, Clara Segura
2008 C conf
An Inference Algorithm for Guaranteeing Safe Destruction.
LOPSTR
Manuel Montenegro, Ricardo Peña-Marí, Clara Segura
2006 — conf
A sharing analysis for SAFE.
Trends in Functional Programming
Ricardo Peña-Marí, Clara Segura, Manuel Montenegro
2005 J jnl
Non-determinism analyses in a parallel-functional language.
J. Funct. Program.
Ricardo Peña-Marí, Clara Segura
2005 J jnl
Parallel functional programming in Eden.
J. Funct. Program.
Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí
2005 — conf
Reasoning About Skeletons in Eden.
PARCO
Ricardo Peña-Marí, Clara Segura
1997 — conf
High-level Parallel and Concurrent Programming in Eden.
APPIA-GULP-PRODE
Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí
1996 — conf
Eden - The Paradise of Functional Concurrent Programming.
Euro-Par, Vol. I
Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí
1996 — conf
Proving Progress Properties of non Terminating Programs under Fairness Assumptions.
Euro-Par, Vol. I
Ricardo Peña-Marí, Luis A. Galán
1994 — conf
Introducing Fairness in CSP Systems Specified with State Variables.
PARLE
Ricardo Peña-Marí, Luis A. Galán