保存此搜索
第条 1997年1月 带类型推理的一类多态性 ML和Haskell等语言鼓励将值视为一级实体,这些实体可以作为参数或函数结果传递,也可以存储为数据结构的组件。 相同的语言提供参数多态性,这允许。。。 第条 1997年1月 PolyP-一种多类型编程语言扩展 许多函数必须针对不同的数据类型反复编写,这可能是因为在程序开发过程中数据类型会发生变化,也可能是因为不同的数据型需要具有类似功能的函数。 此类……的示例。。。 第条 1997年1月 高级阅读和数据结构编译 在[Paige89]中,演示了如何在RAM上实时模拟一台设定机器,该RAM提供对数据的光标甚至指针访问。 基本假设是,一些“客户”将提供高效数据结构的建立。。。 第条 1997年1月 关系参数和度量单位 具有数字类型的编程语言的类型系统可以扩展以支持度量单位的检查。 然后,单位量化引入了一种新的参数多态性,并带有相应的雷诺式表示。。。 第条 1997年1月 在专门化逻辑程序时减少不确定性 程序专门化是程序转换技术的集合,通过利用编译时有关输入数据的一些可用信息来提高程序效率。 我们表明,当前基于程序专业化的技术。。。 -
第条 1997年1月 制止高阶森林砍伐的制约因素 Wadler的毁林算法从功能程序中删除了中间数据结构。 为了适合包含在编译器中,毁林必须在所有程序上终止。 有几种技术可以确保终止森林砍伐。。。 第条 1997年1月 过程参数化线性网络的自动验证 本文描述了一种验证过程参数化线性网络安全性的方法。 该方法基于网络不变量的构造,定义为不动点。 这样的不变量通常可以使用。。。 第条 1997年1月 无限控制流分析 :闭包分析的集合语义 定义收集语义通常是使抽象解释的一般方法适应当前语义框架或编程语言的第一个关键步骤。 本文介绍了如何为…定义收集语义。。。 第条 1997年1月 作为抽象解释的类型 从带有显式运行时错误的急切非类型化lambda-calculus的指称语义开始,标准收集语义被定义为指定最强的程序属性。 通过第一次抽象,一种新的声音类型集合。。。 第条 1997年1月 类型检查高阶多态多方法 我们提出了一个新的谓词和可判定类型系统,称为ML ≤ 适用于在ML[21,28]传统中集成函数编程和参数多态性的语言,以及基于类的面向对象编程和高阶。。。 第条 1997年1月 继承类型理论中的类型化算法 我们提出并研究了一种新的依赖类型理论的类型划分算法。 这个新算法通过使用类之间的继承来对更多术语进行类型检查。 这种继承机制非常强大:它支持多重继承,类具有。。。 第条 1997年1月 原子子类型中的最小类型 本文研究了具有原子子类型的类型化编程语言中简化类型的问题以及大多数通用类型的大小复杂性。 我们定义了一个关于所有类型的最小类型的概念,这些类型在…方面是等价的。。。 第条 1997年1月 直接式π-演算 我们引入了一个演算,它是λ演算和π演算的直接推广。 我们给出了它的一个简单类型系统,它包含了Curry对λ-演算的类型推理,以及Milner对π-演计算的排序,作为。。。 第条 1997年1月 带控制的函数计算的Curry-Howard基础 我们引入了类型理论λμ v(v) 作为经典命题证明的Curry-Howard表示理论,它是Parigot的λμ-演算的一个call-by-value变体。 相关的重写系统是Church-Rosser和强规范化,以及定义。。。 第条 1997年1月 利用仿射变换最大化并行性和最小化同步 本文提出了第一种算法,在具有任意循环嵌套和仿射数据访问的程序中,找到最佳仿射变换,使并行度最大化,同时使同步度最小。 问题是。。。 第条 1997年1月 并行计算的同步转换 随着并行机成为主流计算环境的一部分,编译器将需要应用同步优化来交付高效的并行软件。 本文描述了一种新的同步优化框架和一种新的。。。 第条 1997年1月 确定平铺的空闲时间 本文研究了与并行计算相关的空闲时间,即处理器由于等待来自其他处理器的数据或等待与其他处理器同步而空闲的时间。 我们学习双重。。。 第条 1997年1月 “准时”=“迟到总比不到好”吗? World-Wide Web正在成为分发平台相关的中间形式程序的媒介。 大多数Java供应商最近宣布计划构建“即时”系统,将中间文本转换为本地代码。。。 第条 1997年1月 防卡密码 本文描述了校验码(PCC),这是一种主机系统可以确定执行由不可信源提供的程序(可能是二进制形式)是否安全的机制。 为了实现这一点,不受信任的代码。。。