一种宽容的多线程程序内部时间信息流类型系统,李沁,曾庆凯,本文提出了一种针对多线程程序的内部时间信息流的宽容的类型系统.在隐藏竞争变量集合的基础上定义了非干扰属性的形式化规范;在类�