Travelled to:1 × France
1 × Ireland
Collaborated with:R.Peña M.Montenegro
Talks about:polynomi (1) explicit (1) pointer (1) languag (1) dealloc (1) certifi (1) memori (1) certif (1) absenc (1) dangl (1)
Person: Javier de Dios
DBLP: Dios:Javier_de
Contributed to:
2011
2010Wrote 2 papers:
- FM-2011-DiosP #bound #certification #memory management #polynomial
- Certification of Safe Polynomial Memory Bounds (JdD, RP), pp. 184–199.
- IFM-2010-DiosMP #pointer
- Certified Absence of Dangling Pointers in a Language with Explicit Deallocation (JdD, MM, RP), pp. 305–319.