|
Search the dblp DataBase
Ricardo Peña-Marí:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí
High-level Parallel and Concurrent Programming in Eden. [Citation Graph (0, 0)][DBLP] APPIA-GULP-PRODE, 1997, pp:213-224 [Conf]
- Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí
Eden - The Paradise of Functional Concurrent Programming. [Citation Graph (0, 0)][DBLP] Euro-Par, Vol. I, 1996, pp:710-713 [Conf]
- Ricardo Peña-Marí, Luis A. Galán
Proving Progress Properties of non Terminating Programs under Fairness Assumptions. [Citation Graph (0, 0)][DBLP] Euro-Par, Vol. I, 1996, pp:775-778 [Conf]
- R. Peña, C. M. Segura
Reasoning About Skeletons in Eden. [Citation Graph (0, 0)][DBLP] PARCO, 2005, pp:851-858 [Conf]
- Ricardo Peña-Marí, Luis A. Galán
Introducing Fairness in CSP Systems Specified with State Variables. [Citation Graph (0, 0)][DBLP] PARLE, 1994, pp:757-760 [Conf]
- Ricardo Peña-Marí, Clara Segura
Non-determinism analyses in a parallel-functional language. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2005, v:15, n:1, pp:67-100 [Journal]
- Rita Loogen, Yolanda Ortega-Mallén, Ricardo Peña-Marí
Parallel functional programming in Eden. [Citation Graph (0, 0)][DBLP] J. Funct. Program., 2005, v:15, n:3, pp:431-475 [Journal]
- Ricardo Peña-Marí, Clara Segura, Manuel Montenegro
A sharing analysis for SAFE. [Citation Graph (0, 0)][DBLP] Trends in Functional Programming, 2006, pp:109-128 [Conf]
An Inference Algorithm for Guaranteeing Safe Destruction. [Citation Graph (, )][DBLP]
Formal Certification of a Resource-Aware Language Implementation. [Citation Graph (, )][DBLP]
A Simple Region Inference Algorithm for a First-Order Functional Language. [Citation Graph (, )][DBLP]
A Certified Implementation on Top of the Java Virtual Machine. [Citation Graph (, )][DBLP]
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation. [Citation Graph (, )][DBLP]
Search in 0.002secs, Finished in 0.003secs
|