BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
type (2)
compil (2)
safe (2)
time (2)
object (2)

Stem dealloc$ (all stems)

5 papers:

OOPSLAOOPSLA-2012-SuenagaFI #concurrent #type system
Type-based safe resource deallocation for shared-memory concurrency (KS, RF, AI), pp. 1–20.
IFMIFM-2010-DiosMP #pointer
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation (JdD, MM, RP), pp. 305–319.
ESOPESOP-2008-Boudol #type system
Typing Safe Deallocation (GB), pp. 116–130.
Uniqueness inference for compile-time object deallocation (SC, RR), pp. 117–128.
Compile-time deallocation of individual objects (SC, RR), pp. 138–149.

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.