论文研究一种宽容的多线程程序内部时间信息流类型系统 .pdf 上传者：宛陵秋 2020-04-20 12:02:19上传 PDF文件 293.58KB 热度 22次 一种宽容的多线程程序内部时间信息流类型系统，李沁，曾庆凯，本文提出了一种针对多线程程序的内部时间信息流的宽容的类型系统.在隐藏竞争变量集合的基础上定义了非干扰属性的形式化规范;在类� 下载地址 用户评论 更多下载 下载地址 立即下载 用户评论 发表评论
