A Verified Generational Garbage Collector for CakeML Adam Sandberg Ericsson, Magnus O. Myreen, and Johannes ˚ Aman Pohjola Chalmers University of Technology, Sweden

First Page		Document Content
Date: 2017-07-03 06:09:00 Computing Software engineering Memory management Computer programming Pointer Garbage collection Heap C dynamic memory allocation Region-based memory management Go Garbage Sort		A Verified Generational Garbage Collector for CakeML Adam Sandberg Ericsson, Magnus O. Myreen, and Johannes ˚ Aman Pohjola Chalmers University of Technology, Sweden Add to Reading List Source URL: cakeml.org Download Document from Source Website File Size: 407,07 KB Share Document on Facebook

	From trash to treasure: timing-sensitive garbage collection Mathias V. Pedersen Aslan Askarov DocID: 1xULB - View Document
	Inside a Verified Flash File System: Transactions & Garbage Collection ? ?? Gidon Ernst, J¨ org Pf¨ ahler, Gerhard Schellhorn, and Wolfgang Reif Institute for Software and Systems Engineering DocID: 1xU01 - View Document
	One Process to Reap Them All Garbage Collection as-a-Service Ahmed Hussein†‡ Mathias Payer† DocID: 1uaI8 - View Document
	Teaching Garbage Collection without Implementing Compilers or Interpreters Gregory H. Cooper Arjun Guha DocID: 1u3ev - View Document
	Fully Concurrent Garbage Collection of Actors on Many-Core Machines Sylvan Clebsch and Sophia Drossopoulou Department of Computing, Imperial College, London {sc5511, scd}@doc.ic.ac.uk DocID: 1tNeJ - View Document