Ricardo Peña-Marí

Publication Activity (10 Years)

Years Active: 1994-2009
Publications (10 Years): 0

Publications

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