保存此搜索
第条 1997年1月 带类型推理的一类多态性 ML和Haskell等语言鼓励将值视为一级实体,这些实体可以作为参数或函数结果传递,也可以存储为数据结构的组件。 相同的语言提供参数多态性,这允许。。。 第条 1997年1月 高级阅读和数据结构编译 在[Paige89]中,演示了如何在RAM上实时模拟一台设定机器,该RAM提供对数据的光标甚至指针访问。 基本假设是,一些“客户”将提供高效数据结构的建立。。。 第条 1997年1月 阻止高阶森林砍伐的制约因素 Wadler的毁林算法从功能程序中删除了中间数据结构。 为了适合包含在编译器中,毁林必须在所有程序上终止。 有几种技术可以确保终止森林砍伐。。。 第条 1997年1月 需求驱动的基于集的分析 本文提出了一种在高阶函数程序中隔离死代码的分析技术。 首先,我们形式化了程序片段对程序返回值的贡献意味着什么。 接下来,我们提供一个纯。。。 第条 1997年1月 逃逸分析的复杂性 逃逸分析是Park&Goldberg[30]设计的一种静态优化存储管理的抽象解释技术。 逃逸分析的主要应用是优化垃圾存储管理和数据局部性。。。 第条 1997年1月 过程参数化线性网络的自动验证 本文描述了一种验证过程参数化线性网络安全性的方法。 该方法基于网络不变量的构造,定义为不动点。 这样的不变量通常可以使用…自动计算。。。 第条 1997年1月 类型检查高阶多态多方法 我们提出了一个新的谓词和可判定类型系统,称为ML ≤ 适用于在ML[21,28]传统中集成函数编程和参数多态性的语言,以及基于类的面向对象编程和高阶。。。 第条 1997年1月 继承类型理论中的类型化算法 我们提出并研究了一种新的依赖类型理论的类型划分算法。 这个新算法通过使用类之间的继承来对更多术语进行类型检查。 这种继承机制非常强大:它支持多重继承,类具有。。。 第条 1997年1月 原子子类型中的最小类型 本文研究了具有原子子类型的类型化编程语言中简化类型的问题以及大多数通用类型的大小复杂性。 我们定义了一个关于所有打字员的最小打字员的概念,这些打字员在…方面是等价的。。。 第条 1997年1月 程序片段、链接和模块化 模块机制在理论上受到了相当大的关注,但没有强调单独编译和链接的相关概念。 反常的模块系统出现在功能和面向对象编程中,其中。。。 第条 1997年1月 利用仿射变换实现并行性最大化和同步性最小化 本文提出了第一种算法,在具有任意循环嵌套和仿射数据访问的程序中,找到最佳仿射变换,使并行度最大化,同时使同步度最小。 问题是。。。 第条 1997年1月 并行计算的同步转换 随着并行机成为主流计算环境的一部分,编译器将需要应用同步优化来交付高效的并行软件。 本文描述了一个新的同步优化框架和一个新。。。 第条 1997年1月 形状类型 命令式语言当前可用的类型系统太弱,无法检测到一类重要的编程错误。 例如,它们不能表示列表是双重链接或循环的属性。 我们建议解决这个问题。。。 第条 1997年1月 使用类型对数据流分析进行分区 我们提出了一种将数据流分析问题划分为一系列相关子问题的简单方法。 我们使用类型信息(由程序员声明或通过非标准类型推断计算)保守地近似分析-。。。 第条 1997年1月 快速准确的流动敏感点分析 为了分析一个包含指针的程序,必须要有关于每个指针指向什么的(安全的)信息。计算指针到信息的方法有很多种。 本文介绍了流和。。。