Ricardo Pena - researchr alias

researchr

You are not signed in
Sign in
Sign up

2008

A type system for safe memory management and its proof of correctnessManuel Montenegro, Ricardo Pena, Clara Segura. ppdp 2008: 152-162 [doi]

2004

Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised PapersPhilip W. Trinder, Greg Michaelson, Ricardo Pena, editors, Volume 3145 of Lecture Notes in Computer Science, Springer, 2004.

2003

Formally deriving an STG machineAlberto de la Encina, Ricardo Pena. ppdp 2003: 102-112 [doi]

Comparing Parallel Functional Languages: Programming and PerformanceHans-Wolfgang Loidl, Fernando Rubio, Norman Scaife, Kevin Hammond, Susumu Horiguchi, Ulrike Klusik, Rita Loogen, Greg Michaelson, Ricardo Pena, Steffen Priebe, Álvaro J. Rebón Portillo, Philip W. Trinder. lisp, 16(3):203-251, 2003. [doi]

Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra AlgorithmsRafael Martínez, Ricardo Pena. IFL 2004: 135-151 [doi]

Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected PapersRicardo Pena, Thomas Arts, editors, Volume 2670 of Lecture Notes in Computer Science, Springer, 2003.

Correctness of Non-determinism Analyses in a Parallel-Functional LanguageClara Segura, Ricardo Pena. IFL 2004: 69-85 [doi]

2001

2000

1999

From GranSim to ParadiseFelix Hernandez, Ricardo Pena, Fernando Rubio. sfp 2000: 11-19

Bypassing of Channels in EdenUlrike Klusik, Ricardo Pena, Clara Segura. sfp 2000: 2-10

1998

Implementing Eden - or: Dreams Become RealityUlrike Klusik, Yolanda Ortega-Mallén, Ricardo Pena. IFL 1999: 103-119 [doi]

1997

The Eden Coordination Model for Distributed Memory SystemsSilvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena. hips 1997: 120-124 [doi]

DREAM: The DistRibuted Eden Abstract MachineSilvia Breitinger, Ulrike Klusik, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena. IFL 1998: 250-269 [doi]

Verification and Refinement of Distributed Programs in a Fair FrameworkLuis A. Galán, Ricardo Pena. arts 1997: 280-294

1996

Functional Skeletons Generate Process Topologies in EdenLuis A. Galán, Cristóbal Pareja, Ricardo Pena. agp 1996: 245-258

Functional Skeletons Generate Process Topologies in EdenLuis A. Galán, Cristóbal Pareja, Ricardo Pena. plilp 1996: 289-303

A New Look to Pattern Matching in Abstract Data TypesPedro Palao-Gostanza, Ricardo Pena, Manuel Núñez. ICFP 1996: 110-121

1995

A Second Year Course on Data Structures Based on Functional ProgrammingManuel Núñez, Pedro Palao, Ricardo Pena. fple 1995: 65-84

A Tabulation Transformation Tactic Using Haskell ArraysCristóbal Pareja, Ricardo Pena, J. Ángel Velázquez-Iturbide. agp 1995: 485-496

1994

Non Homomorphic Reductions of Data StructuresLuis A. Galán, Manuel Núñez, Cristóbal Pareja, Ricardo Pena. agp 1994: 393-407

1993

A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness ConditionsRicardo Pena, Luis M. Alonso. tapsoft 1993: 328-342

1991

Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel SystemsLuis M. Alonso, Ricardo Pena. parle 1991: 75-91

1989

Specification and Verification of TCSP Systems by Means of Partial Abstract Data TypesRicardo Pena, Luis M. Alonso. tapsoft 1989: 328-344

Deriving Specifications of Embeddings in Recursive Program DesignCelestí Rosselló, José L. Balcázar, Ricardo Pena. stp, 10(3):133-145, 1989.

1988

Term Rewriting Methods for Partial SpecificationsFernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena. WADT 1988: