Javier de Dios

Publication Activity (10 Years)

Years Active: 2009-2011
Publications (10 Years): 0

Publications

Javier de Dios, Ricardo Peña
Certification of Safe Polynomial Memory Bounds. FM (2011)
Javier de Dios, Manuel Montenegro, Ricardo Peña
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation. IFM (2010)
Javier de Dios, Ricardo Peña-Marí
Formal Certification of a Resource-Aware Language Implementation. TPHOLs (2009)
Javier de Dios, Ricardo Peña-Marí
A Certified Implementation on Top of the Java Virtual Machine. FMICS (2009)