×

zbMATH — the first resource for mathematics

Peña, Ricardo

Compute Distance To:
Author ID: pena.ricardo Recent zbMATH articles by "Peña, Ricardo"
Published as: Peña, Ricardo; Peña, R.
External Links: ORCID
Documents Indexed: 31 Publications since 1996, including 8 Books

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 18 times in 12 Documents Cited by Year
Non-determinism analyses in a parallel-functional language. Zbl 1063.68025
Peña, Ricardo; Segura, Clara
3
2005
An inference algorithm for guaranteeing Safe destruction. Zbl 1185.68200
Montenegro, Manuel; Peña, Ricardo; Segura, Clara
3
2009
A resource-aware semantics and abstract machine for a functional language with explicit deallocation. Zbl 1347.68054
Montenegro, Manuel; Peña, Ricardo; Segura, Clara
2
2009
Parallelism abstractions in Eden. Zbl 1111.68374
Loogen, Rita; Ortega, Yolanda; Peña, Ricardo; Priebe, Steffen; Rubio, Fernando
2
2003
From natural semantics to C: a formal derivation of two STG machines. Zbl 1159.68005
de la Encina, Alberto; Peña, Ricardo
2
2009
A space consumption analysis by abstract interpretation. Zbl 1305.68062
Montenegro, Manuel; Peña, Ricardo; Segura, Clara
2
2010
Comparing parallel functional languages: Programming and performance. Zbl 1074.68541
Loidl, H.-W.; Rubio, F.; Scaife, N.; Hammond, K.; Horiguchi, S.; Klusik, U.; Loogen, R.; Michaelson, G. J.; Peña, R.; Priebe, S.; Rebón, Á. J.; Trinder, P. W.
1
2003
Sized types for typing Eden skeletons. Zbl 1053.68553
Peña, Ricardo; Segura, Clara
1
2002
Proving the correctness of the STG machine. Zbl 1053.68557
de la Encina, Alberto; Peña, Ricardo
1
2002
Formal certification of a resource-aware language implementation. Zbl 1252.68070
de Dios, Javier; Peña, Ricardo
1
2009
A space consumption analysis by abstract interpretation. Zbl 1305.68062
Montenegro, Manuel; Peña, Ricardo; Segura, Clara
2
2010
An inference algorithm for guaranteeing Safe destruction. Zbl 1185.68200
Montenegro, Manuel; Peña, Ricardo; Segura, Clara
3
2009
A resource-aware semantics and abstract machine for a functional language with explicit deallocation. Zbl 1347.68054
Montenegro, Manuel; Peña, Ricardo; Segura, Clara
2
2009
From natural semantics to C: a formal derivation of two STG machines. Zbl 1159.68005
de la Encina, Alberto; Peña, Ricardo
2
2009
Formal certification of a resource-aware language implementation. Zbl 1252.68070
de Dios, Javier; Peña, Ricardo
1
2009
Non-determinism analyses in a parallel-functional language. Zbl 1063.68025
Peña, Ricardo; Segura, Clara
3
2005
Parallelism abstractions in Eden. Zbl 1111.68374
Loogen, Rita; Ortega, Yolanda; Peña, Ricardo; Priebe, Steffen; Rubio, Fernando
2
2003
Comparing parallel functional languages: Programming and performance. Zbl 1074.68541
Loidl, H.-W.; Rubio, F.; Scaife, N.; Hammond, K.; Horiguchi, S.; Klusik, U.; Loogen, R.; Michaelson, G. J.; Peña, R.; Priebe, S.; Rebón, Á. J.; Trinder, P. W.
1
2003
Sized types for typing Eden skeletons. Zbl 1053.68553
Peña, Ricardo; Segura, Clara
1
2002
Proving the correctness of the STG machine. Zbl 1053.68557
de la Encina, Alberto; Peña, Ricardo
1
2002

Citations by Year