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
3 × Spain
Collaborated with:
R.Peña C.Segura J.d.Dios R.Peña-Marí
Talks about:
languag (3) safe (2) algorithm (1) guarante (1) function (1) explicit (1) destruct (1) regular (1) pointer (1) dealloc (1)

Person: Manuel Montenegro

DBLP DBLP: Montenegro:Manuel

Contributed to:

PPDP 20132013
IFM 20102010
LOPSTR 20082008
PPDP 20082008

Wrote 4 papers:

PPDP-2013-MontenegroPS #analysis #functional #regular expression #using
Shape analysis in a functional language by using regular languages (MM, RP, CS), pp. 251–262.
IFM-2010-DiosMP #pointer
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation (JdD, MM, RP), pp. 305–319.
LOPSTR-2008-MontenegroPS #algorithm
An Inference Algorithm for Guaranteeing Safe Destruction (MM, RPM, CS), pp. 135–151.
PPDP-2008-MontenegroPS #correctness #memory management #proving #type system
A type system for safe memory management and its proof of correctness (MM, RP, CS), pp. 152–162.

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.