|
|||||
|
|
The liveness property of on-the-fly garbage collector—a proof |
|
| Authors: | S. Ramesh S.L. Mehndiratta |
| Affiliation: | Computer Centre, Indian Institute of Technology, Bombay-400 076, India |
| Abstract: | |
| Keywords: | Concurrent programming correctness of programs garbage collector temporal logic |
| 本文献已被 ScienceDirect 等数据库收录！ | |