Ricardo Pena

34 papers A 1C 4Journal 2Unranked 25
YearRankTypeTitle / Venue / Authors
2008 C conf
A type system for safe memory management and its proof of correctness.
PPDP
Manuel Montenegro, Ricardo Pena, Clara Segura
2004 — ed.
Implementation of Functional Languages, 15th International Workshop, IFL 2003, Edinburgh, UK, September 8-11, 2003, Revised Papers
IFL
Philip W. Trinder, Greg Michaelson, Ricardo Pena
2003 — conf
Building an Interface Between Eden and Maple: A Way of Parallelizing Computer Algebra Algorithms.
IFL
Rafael Martínez-Torres, Ricardo Pena
2003 J jnl
Comparing Parallel Functional Languages: Programming and Performance.
High. Order Symb. Comput.
Hans-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
2003 — conf
Correctness of Non-determinism Analyses in a Parallel-Functional Language.
IFL
Clara Segura, Ricardo Pena
2003 C conf
Formally deriving an STG machine.
PPDP
Alberto de la Encina, Ricardo Pena
2003 — ed.
Implementation of Functional Languages, 14th International Workshop, IFL 2002, Madrid, Spain, September 16-18, 2002, Revised Selected Papers
IFL
Ricardo Pena, Thomas Arts
2001 — conf
A Polynomial-Cost Non-determinism Analysis.
IFL
Ricardo Pena, Clara Segura
2001 — conf
Adding Traces to a Lazy Monadic Evaluator.
EUROCAST
Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura
2001 — conf
Deriving Non-Hierarchical Process Topologies.
Scottish Functional Programming Workshop
Ricardo Pena, Fernando Rubio, Clara Segura
2001 C conf
Parallel Functional Programming at Two Levels of Abstraction.
PPDP
Ricardo Pena, Fernando Rubio
2001 — conf
Proving the Correctness of the STG Machine.
IFL
Alberto de la Encina, Ricardo Pena
2001 — conf
Sized Types for Typing Eden Skeletons.
IFL
Ricardo Pena, Clara Segura
2000 — conf
Compiler Construction in a Functional Setting.
WFLP
Ricardo Pena
2000 — conf
Non-determinism Analysis in a Parallel-Functional Language.
IFL
Ricardo Pena, Clara Segura
2000 — conf
Optimising Eden by transformation.
Scottish Functional Programming Workshop
Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura
2000 — conf
Optimizing Eden by Program Transformation.
WFLP
Cristóbal Pareja, Ricardo Pena, Fernando Rubio, Clara Segura
1999 — conf
Bypassing of Channels in Eden.
Scottish Functional Programming Workshop
Ulrike Klusik, Ricardo Pena, Clara Segura
1999 — conf
From GranSim to Paradise.
Scottish Functional Programming Workshop
Felix Hernandez, Ricardo Pena, Fernando Rubio
1998 — conf
Implementing Eden - or: Dreams Become Reality.
IFL
Ulrike Klusik, Yolanda Ortega-Mallén, Ricardo Pena
1997 — conf
DREAM: The DistRibuted Eden Abstract Machine.
Implementation of Functional Languages
Silvia Breitinger, Ulrike Klusik, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena
1997 C conf
The Eden Coordination Model for Distributed Memory Systems.
HIPS
Silvia Breitinger, Rita Loogen, Yolanda Ortega-Mallén, Ricardo Pena
1997 — conf
Verification and Refinement of Distributed Programs in a Fair Framework.
ARTS
Luis A. Galán, Ricardo Pena
1996 A conf
A New Look to Pattern Matching in Abstract Data Types.
ICFP
Pedro Palao-Gostanza, Ricardo Pena, Manuel Núñez
1996 — conf
Functional Skeletons Generate Process Topologies in Eden.
APPIA-GULP-PRODE
Luis A. Galán, Cristóbal Pareja, Ricardo Pena
1996 — conf
Functional Skeletons Generate Process Topologies in Eden.
PLILP
Luis A. Galán, Cristóbal Pareja, Ricardo Pena
1995 — conf
A Second Year Course on Data Structures Based on Functional Programming.
FPLE
Manuel Núñez, Pedro Palao, Ricardo Pena
1995 — conf
A Tabulation Transformation Tactic Using Haskell Arrays.
GULP-PRODE
Cristóbal Pareja, Ricardo Pena, J. Ángel Velázquez-Iturbide
1994 — conf
Non Homomorphic Reductions of Data Structures.
GULP-PRODE (2)
Luis A. Galán, Manuel Núñez, Cristóbal Pareja, Ricardo Pena
1993 — conf
A Technique for Specifying and Refining TCSP Processes by Using Guards and Liveness Conditions.
TAPSOFT
Ricardo Pena, Luis M. Alonso
1991 — conf
Acceptance Automata: A Framework for Specifying and Verifying TCSP Parallel Systems.
PARLE (2)
Luis M. Alonso, Ricardo Pena
1989 J jnl
Deriving Specifications of Embeddings in Recursive Program Design.
Struct. Program.
Celestí Rosselló, José L. Balcázar, Ricardo Pena
1989 — conf
Specification and Verification of TCSP Systems by Means of Partial Abstract Data Types.
TAPSOFT, Vol.2
Ricardo Pena, Luis M. Alonso
1988 — conf
Term Rewriting Methods for Partial Specifications.
ADT
Fernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena