Aman

#	Item
1	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 Language: English - 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
2	PDF Document Add to Reading List Source URL: www.aman.or.id - Date: 2016-02-15 03:38:33
3	PDF Document Add to Reading List Source URL: www.aman.or.id - Date: 2018-02-23 04:40:02
4	PDF Document Add to Reading List Source URL: www.aman.or.id - Date: 2016-02-15 03:39:08
5	PDF Document Add to Reading List Source URL: www.aman.or.id - Date: 2018-02-23 04:40:05
6	PDF Document Add to Reading List Source URL: www.aman.or.id - Date: 2018-05-18 22:59:53
7	PDF Document Add to Reading List Source URL: www.aman.or.id - Date: 2018-05-04 09:40:18
8	PDF Document Add to Reading List Source URL: www.aman.or.id - Date: 2016-10-20 02:59:08
9	PDF Document Add to Reading List Source URL: www.aman.or.id - Date: 2016-02-15 03:40:46
10	PDF Document Add to Reading List Source URL: www.aman.or.id - Date: 2018-05-04 11:26:24