搜索筛选:
搜索耗时0.0284秒,为你在为你在61,042,058篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：Chun-Xiao Lin,Yi-Yun Chen,Long,
来源：计算机科学技术学报 年份：2004
We present the verification of the machine-level implementation of a conservative variant of the standard mark-sweep garbage collector in a Hoare-style program...
相关搜索：
