A General Framework for Certifying Garbage Collectors and Their Mutators
Mon, 08/17/2009 - 13:32 — nate
| Title | A General Framework for Certifying Garbage Collectors and Their Mutators |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | McCreight, A, Shao Z, Lin C, Li L |
| Conference Name | Proceedings of the 2007 ACM SIGPLAN conference on Programming Language Design and Implementation (PLDI 2007) |
| Date Published | Jun |
| Publisher | ACM Press |
| Conference Location | San Diego, CA, USA |
| Attachment | Size |
|---|---|
| hgc.pdf | 273.09 KB |