×

zbMATH — the first resource for mathematics

Segura, Clara

Compute Distance To:
Author ID: segura.clara Recent zbMATH articles by "Segura, Clara"
Published as: Segura, Clara
External Links: ORCID
Documents Indexed: 14 Publications since 2001

Publications by Year

Citations contained in zbMATH

7 Publications have been cited 17 times in 12 Documents Cited by Year
An inference algorithm for guaranteeing Safe destruction. Zbl 1185.68200
Montenegro, Manuel; Peña, Ricardo; Segura, Clara
4
2009
Typed mobile ambients in Maude. Zbl 1276.68101
Rosa-Velardo, Fernando; Segura, Clara; Verdejo, Alberto
4
2006
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
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
A resource semantics and abstract machine for Safe: a functional language with regions and explicit deallocation. Zbl 1358.68059
Montenegro, Manuel; Peña, Ricardo; Segura, Clara
1
2014
Sized types for typing Eden skeletons. Zbl 1053.68553
Peña, Ricardo; Segura, Clara
1
2002
A resource semantics and abstract machine for Safe: a functional language with regions and explicit deallocation. Zbl 1358.68059
Montenegro, Manuel; Peña, Ricardo; Segura, Clara
1
2014
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
4
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
Typed mobile ambients in Maude. Zbl 1276.68101
Rosa-Velardo, Fernando; Segura, Clara; Verdejo, Alberto
4
2006
Non-determinism analyses in a parallel-functional language. Zbl 1063.68025
Peña, Ricardo; Segura, Clara
3
2005
Sized types for typing Eden skeletons. Zbl 1053.68553
Peña, Ricardo; Segura, Clara
1
2002

Citations by Year