类型和效果系统相关论文
普适计算通常是在一个动态、异构、开放的物理环境下进行，其中不少物理设备的资源受限、高移动性以及故障频发，这些特征给构建可信的......
程序信息流安全是信息安全的一个重要研究方向．基于类型的静态分析可以保证程序信息流安全．鉴于分布式移动计算系统中进程之间的通讯......
