保存此搜索
第条 1997年1月 带类型推理的一类多态性 ML和Haskell等语言鼓励将值视为一级实体,这些实体可以作为参数或函数结果传递,也可以存储为数据结构的组件。 相同的语言提供参数多态性,这允许。。。 第条 1997年1月 PolyP-一种多类型编程语言扩展 许多函数必须针对不同的数据类型反复编写,这可能是因为在程序开发过程中数据类型会发生变化,也可能是因为不同数据类型需要具有类似功能的函数。 此类……的示例。。。 第条 1997年1月 高级阅读和数据结构编译 在[Page89]中,展示了如何在RAM上实时模拟设置的机器,该RAM提供对数据的光标甚至仅指针访问。 基本假设是,一些“客户”将提供高效数据结构的建立。。。 第条 1997年1月 关系参数和度量单位 具有数字类型的编程语言的类型系统可以扩展以支持度量单位的检查。 然后,单位量化引入了一种新的参数多态性,并带有相应的雷诺式表示。。。 第条 1997年1月 从SOS规则到证明原则 函数语言的操作元理论 结构操作语义(SOS)是一种广泛使用的形式主义,用于指定程序的计算意义,并且通常用于指定函数式语言的语义。 尽管广泛使用,但相对而言。。。 -
第条 1997年1月 在专门化逻辑程序时减少不确定性 程序专门化是程序转换技术的集合,通过利用编译时有关输入数据的一些可用信息来提高程序效率。 我们表明,当前基于程序专业化的技术。。。 第条 1997年1月 阻止高阶森林砍伐的制约因素 Wadler的毁林算法从功能程序中删除了中间数据结构。 为了适合包含在编译器中,毁林必须在所有程序上终止。 有几种技术可以确保终止森林砍伐。。。 第条 1997年1月 使用基于操作的术语模型的指称语义 我们介绍了一种用Scheme和ML等语言证明程序转换正确性的方法。该方法包括在以交互为基础的基于操作的术语模型中给程序一个指称语义。。。 第条 1997年1月 需求驱动的基于集的分析 本文提出了一种在高阶函数程序中隔离死代码的分析技术。 首先,我们形式化了程序片段对程序返回值的贡献意味着什么。 接下来,我们提供一个纯。。。 第条 1997年1月 逃逸分析的复杂性 逃逸分析是Park&Goldberg[30]设计的一种静态优化存储管理的抽象解释技术。 逃逸分析的主要应用是优化垃圾存储管理和数据局部性。。。 第条 1997年1月 过程参数化线性网络的自动验证 本文描述了一种验证过程参数化线性网络安全性的方法。 该方法基于网络不变量的构造,该不变量被定义为不动点。 这样的不变量通常可以使用。。。 第条 1997年1月 无限控制流分析 :闭包分析的集合语义 定义收集语义通常是使抽象解释的一般方法适应当前语义框架或编程语言的第一个关键步骤。 本文介绍了如何为…定义收集语义。。。 第条 1997年1月 类型作为抽象解释 从带有显式运行时错误的急切非类型化lambda-calculus的指称语义开始,标准收集语义被定义为指定最强的程序属性。 通过第一次抽象,一种新的声音类型集合。。。 第条 1997年1月 类型检查高阶多态多方法 我们提出了一个新的谓词和可判定类型系统,称为ML ≤ 适用于在ML[21,28]传统中集成函数编程和参数多态性的语言,以及基于类的面向对象编程和高阶。。。 第条 1997年1月 继承类型理论中的类型化算法 我们提出并研究了一种新的依赖类型理论的类型划分算法。 这个新算法通过使用类之间的继承来对更多术语进行类型检查。 这种继承机制非常强大:它支持多重继承,类具有。。。 第条 1997年1月 原子子类型中的最小类型 本文研究了具有原子子类型的类型化编程语言中简化类型的问题以及大多数通用类型的大小复杂性。 我们定义了一个关于所有类型的最小类型的概念,这些类型在…方面是等价的。。。 第条 1997年1月 多态性pi-calculus中的行为等效 我们研究了基于消息的并发编程中的参数多态性,重点关注与Girard和Reynolds的多态lambda-calculus类似的类型化过程演算中的行为等效性。 多态性限制了。。。 第条 1997年1月 直接式π-演算 我们引入了一个演算,它是λ演算和π演算的直接推广。 我们给出了它的一个简单类型系统,它包含了Curry对λ-演算的类型推理,以及Milner对π-演计算的排序,作为。。。 第条 1997年1月 带控制的函数计算的Curry-Howard基础 我们引入了类型理论λμ v(v) ,Parigot的λμ-微积分的一个按值调用的变体,作为经典命题证明的Curry-Howard表示理论。 相关的重写系统是Church-Rosser和强规范化,以及定义。。。 第条 1997年1月 利用仿射变换最大化并行性和最小化同步 本文提出了第一种算法,在具有任意循环嵌套和仿射数据访问的程序中,找到最佳仿射变换,使并行度最大化,同时使同步度最小。 问题是。。。