摘要：Flux: Rust中的逻辑细化和所有权机制相结合的类型验证
作者：Nico Lehmann, Adam Geller, Niki Vazou, Ranjit Jhala
论文ID：2207.04034
分类：Programming Languages
分类简称：cs.PL
提交时间：2022-11-15
PDF 下载： 英文版 中文版pdf翻译中