×
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

Publications by Year

Citations contained in zbMATH Open

10 Publications have been cited 18 times in 12 Documents Cited by Year
An inference algorithm for guaranteeing Safe destruction. Zbl 1185.68200
Montenegro, Manuel; Peña, Ricardo; Segura, Clara
3
2009
Non-determinism analyses in a parallel-functional language. Zbl 1063.68025
Peña, Ricardo; Segura, Clara
3
2005
A space consumption analysis by abstract interpretation. Zbl 1305.68062
Montenegro, Manuel; Peña, Ricardo; Segura, Clara
2
2010
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 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
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
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 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
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