Liyi Li等人：CheckedCBox：使用Checked C进行类型定向程序分区，以实现增量空间内存安全。(2023) 期刊/corr/abs-2302-01811 10.48550/ARXIV.2302.01811 CheckedCBox：使用Checked C键入定向程序分区，以确保增量空间内存安全。 5 李毅李0002 1 阿伦库马尔·巴塔尔 2 乐昌 三 朱明伟 4 Aravind机械 5 CoRR公司 CoRR公司 abs/2302.01811 2023 dblp记录“journals/corr/abs-2302-01811”的RDF数据的来源信息 2023-08-18T09:41:18+0200