Certified absence of dangling pointers in a language withe explicit deallocation
- Dios Castro, Javier de
- Peña Marí, Ricardo
- Montenegro Hermida, Manuel Francisco
- Lucio, Paqui (ed. lit.)
- Moreno Valverde, Ginés Damián (ed. lit.)
- Peña Marí, Ricardo (ed. lit.)
Verlag: Mondragon Unibertsitatea
ISBN: 978-84-692-4600-9
Datum der Publikation: 2009
Seiten: 65-74
Kongress: Jornadas sobre Programación y Lenguajes (9. 2009. San Sebastián)
Art: Konferenz-Beitrag