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 |
REGION-BASED MEMORY MANAGEMENT FOR EXPRESSIVE GPU PROGRAMMING Eric Holk Submitted to the faculty of the University Graduate SchoolDocID: 1tJGL - View Document | |
Region-Based Memory Management in Cyclone ∗ Dan Grossman Michael Hicks Greg Morrisett Trevor Jim†DocID: 1sVGD - View Document | |
ACDC: Towards a Universal Mutator for Benchmarking Heap Management Systems Martin Aigner Christoph M. KirschDocID: 1qR0e - View Document | |
Region-based Memory Management for GPU Programming Languages Enabling Rich Data Structures on a Spartan Host Andrew Lumsdaine ArDocID: 1pFko - View Document | |
REGION-BASED MEMORY MANAGEMENT FOR EXPRESSIVE GPU PROGRAMMING Eric Holk Submitted to the faculty of the University Graduate SchoolDocID: 1pnvi - View Document |