|
|||||
|
|
Verification of an Incremental Garbage Collector in Hoare-Style Logic |
|
| Authors: | Chunxiao Lin Yiyun Chen and and Bei Hua |
| Abstract: | |
| Keywords: | program verification incremental garbage collector separation logic proofcarrying code |
| 点击此处可从《软件学报》浏览原始摘要信息 | |
| 点击此处可从《软件学报》下载全文 | |