First Page | Document Content | |
---|---|---|
Date: 2017-07-03 06:09:00Computing 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, SwedenAdd to Reading ListSource URL: cakeml.orgDownload Document from Source WebsiteFile Size: 407,07 KBShare Document on Facebook |