保存此搜索
第条 1997年1月 继承类型理论中的类型化算法 我们提出并研究了一种新的依赖类型理论的类型划分算法。 这个新算法通过使用类之间的继承来对更多术语进行类型检查。 这种继承机制非常强大:它支持多重继承,类具有。。。 第条 1997年1月 证明携带代码 本文描述了校验码(PCC),这是一种主机系统可以确定执行由不可信源提供的程序(可能是二进制形式)是否安全的机制。 为了实现这一点,不受信任的代码。。。 第条 1997年1月 快速准确的流动敏感点分析 为了分析一个包含指针的程序,必须要有关于每个指针指向什么的(安全的)信息。计算指针到信息的方法有很多种。 本文介绍了流动和。。。