Verification of an Incremental Garbage Collector in Hoare-Style Logic
星期三, 10/21/2009 - 20:53 — nate
| 标题 | Verification of an Incremental Garbage Collector in Hoare-Style Logic |
| Publication Type | Journal Article |
| Year of Publication | 2009 |
| Authors | Lin, C, Chen Y, Hua B |
| Journal | International Journal of Software and Informatics |
| Volume | 3 |
| Start Page | 67 |
| Issue | 1 |
| Pagination | 67-88 |
| Date Published | Mar, 2009 |
| ISSN | 1673-7288 |
| 关键词 | incremental gargabge collector, program verification, proof-carrying code, separation logic |
- 要发表评论，请先登录
- Tagged
- XML
- BibTex
- Google Scholar