安全战略重写的追踪类型

摘要:策略语言的类型系统: 保证正确策略执行路径的静态类型系统

作者:Rongxiao Fu, Ornela Dardha, Michel Steuwer

论文ID:2304.14154

分类:Programming Languages

分类简称:cs.PL

提交时间:2023-04-28

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