Stem dealloc$ (all stems)

5 papers:

OOPSLA-2012-SuenagaFI #concurrent #type system

Type-based safe resource deallocation for shared-memory concurrency (KS, RF, AI), pp. 1–20.

IFM-2010-DiosMP #pointer

Certified Absence of Dangling Pointers in a Language with Explicit Deallocation (JdD, MM, RP), pp. 305–319.

ESOP-2008-Boudol #type system

Typing Safe Deallocation (GB), pp. 116–130.

ISMM-2007-CheremR

Uniqueness inference for compile-time object deallocation (SC, RR), pp. 117–128.

ISMM-2006-CheremR

Compile-time deallocation of individual objects (SC, RR), pp. 138–149.