Correctness-Preserving Derivation of Concurrent Garbage Collection Algorithms Martin T. Vechev Eran Yahav

First Page		Document Content
Date: 2006-01-23 21:06:46 Garbage collection Reference counting Pointer Algorithm Heap Software engineering Mathematics Memory management Automatic memory management Computing		Correctness-Preserving Derivation of Concurrent Garbage Collection Algorithms Martin T. Vechev Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Download Document from Source Website File Size: 284,94 KB Share Document on Facebook

	Technical Report noWait-Free Reference Counting and Memory Management Håkan Sundell DocID: 1vcX8 - View Document
	Ownership and Reference Counting based Garbage Collection in the Actor World Sylvan Clebsch Sebastian Blessing DocID: 1tENP - View Document
	Proc. European Conf. on Object-Oriented Programming, June, 2001, LNCS volConcurrent Cycle Collection in Reference Counted Systems David F. Bacon and V.T. Rajan IBM T.J. Watson Research Center DocID: 1rr1t - View Document
	University of London Imperial College London of Science, Technology and Medicine Department of Computing Soft Real-time Garbage Collection for Dynamic Dispatch Languages DocID: 1rlOP - View Document
	PROC. OF THE 8th EUR. CONF. ON PYTHON IN SCIENCE (EUROSCIPYGarbage Collection in JyNI – How to bridge Mark/Sweep and Reference Counting GC DocID: 1pWWJ - View Document