Search the dblp DataBase

Publications of Author

1. 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]
   
2. 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]
   
3. 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]
   
4. R. Peña, C. M. Segura
   Reasoning About Skeletons in Eden. [Citation Graph (0, 0)][DBLP]
   PARCO, 2005, pp:851-858 [Conf]
   
5. 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]
   
6. 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]
   
7. 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]
   
8. 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]
   
9. 
   An Inference Algorithm for Guaranteeing Safe Destruction. [Citation Graph (, )][DBLP]
   
   
10. 
    Formal Certification of a Resource-Aware Language Implementation. [Citation Graph (, )][DBLP]
    
    
11. 
    A Simple Region Inference Algorithm for a First-Order Functional Language. [Citation Graph (, )][DBLP]
    
    
12. 
    A Certified Implementation on Top of the Java Virtual Machine. [Citation Graph (, )][DBLP]
    
    
13. 
    A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation. [Citation Graph (, )][DBLP]