移动的坚固安全性

摘要:Move语言的鲁棒安全性:定义与分析

作者:Marco Patrignani, Sam Blackshear

论文ID:2110.05043

分类:Programming Languages

分类简称:cs.PL

提交时间:2022-05-16

PDF 下载: 英文版 中文版pdf翻译中