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