保存此搜索
第条 1997年1月 继承类型理论中的类型化算法 我们提出并研究了一种新的依赖类型理论的类型划分算法。 这个新算法通过使用类之间的继承来对更多术语进行类型检查。 这种继承机制非常强大:它支持多重继承,类具有。。。 第条 1997年1月 同步和异步π演算的表达能力比较 最近由Boudol和Honda和Tokoro独立提出的异步π演算是π演计算的子集,其中不包含用于选择和输出前缀的显式运算符。 这个微积分的沟通机制。。。 第条 1997年1月 防卡密码 本文描述了携带证明代码(PCC),这是一种主机系统可以确定执行不可信源提供的程序(可能是二进制形式)是安全的机制。 为了实现这一点,不受信任的代码。。。 第条 1997年1月 搜索和命令式编程 我们增强了命令式编程的表达能力,以使其成为解决涉及搜索的问题的更具吸引力的工具。 提议的附加功能有限但功能强大,并且受到逻辑编程范式的启发。 我们举例说明。。。 第条 1997年1月 快速准确的流动敏感点分析 为了分析一个包含指针的程序,必须要有关于每个指针指向什么的(安全的)信息。计算指针到信息的方法有很多种。 本文介绍了流动和。。。