BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Dios:Javier_de

Contributed to:

FM 20112011
IFM 20102010

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.