保存此搜索
结构参数多态的参数分型 我们研究了结构亚型与参数多态性和递归定义的类型构造函数的相互作用。 虽然在这种情况下结构子类型是不确定的,但我们描述了类型构造函数的参数概念,然后。。。 TASTyTruffle:参数多态性的实时专业化 参数多态性使程序员能够独立于其操作的值类型来表达算法。用于实现参数多态性的方法可能具有重要的性能影响。 一种流行的方法。。。 文章 2019年3月 使用结构和参数多态性创建数字双胞胎 本文考虑基于结构多态性和参数多态性以及决策表集成的数字孪生子创建。 描述了应用于构建物理对象数字模型的多态性概念的新观点。 一个新的。。。 多态逐步分型研究 我们研究了渐变类型的一种扩展,即在一种语言中将动态类型和静态类型平滑地集成到参数多态性中的方法,以及它的理论性质,包括类型和语义在静态上的保守性。。。 研究论文 2017年2月 修订和解决的多态舱单合同 清单契约通过使用谓词细化类型来跟踪精确的程序属性,例如{ x个 :整数 x个 >0}表示正整数。 契约和多态性是一种自然的组合:程序员可以给抽象。。。 -
研究论文 2016年10月 参数多态语言的调用图 OOPSLA 2016:2016 ACM SIGPLAN面向对象编程、系统、语言和应用国际会议记录 2016年10月, 第394-409页 https://doi.org/10.1145/2983990.2983991 当代面向对象语言的性能取决于诸如去机会化、内联和专门化之类的优化,而这些又取决于精确的调用图分析。 现有的调用图分析没有利用。。。 另发布于: ACM SIGPLAN通知:第51卷2016年10月10日发布 研究论文 2013年10月 迷你拳击 :提高参数多态翻译中代码大小权衡的速度 OOPSLA’13:2013 ACM SIGPLAN面向对象编程系统语言与应用国际会议记录 2013年10月, 第73-92页 https://doi.org/10.1145/2509136.2509537 参数多态性支持代码重用和类型安全。 然而,在向程序员公开的统一接口之下,它的底层实现必须处理固有的非统一数据:不同大小和语义的值类型(字节。。。 另发布于: ACM SIGPLAN通知:第48卷2013年10月10日发布 研究论文 2012年5月 面向对象语言中泛型程序的精确静态分析 以多种数据类型和类丰富的泛型正在成为面向对象语言的一个共同特征。 因此,对此类通用程序的静态分析变得越来越重要。 不幸的是,这种工作并不存在。 在这项工作中,我们。。。 研究论文 2011年9月 mendler型递归组合子的层次结构 :用负面事件驯服归纳数据类型 即使对于负归纳数据类型,Mendler式的同态化(对应于弱归纳)也总是终止的。 已知Mendler型组织形态(对应于强归纳)在阳性归纳数据类型时终止。。。 另发布于: ACM SIGPLAN通知:第46卷2011年9月9日发行 研究论文 2011年9月 功能并行编程中的平衡树 分治是并行编程中的一项重要技术。 然而,代数数据结构并不适合分而治之的并行性。 例如,通常基于指针的列表实现无法在其。。。 另发布于: ACM SIGPLAN通知:第46卷2011年9月9日发行 研究论文 2011年5月 将不同的职责划分为平行的层次结构 这个 戏弄分离继承 是一种大型重构技术,用于分离类层次结构中纠缠的不同职责。 这种重构通过根将两个并行层次结构关联起来,以便从中使用一个层次结构。 这个。。。 第条 2011年3月 多态合同 ESOP’11/ETAPS’11:第20届欧洲编程语言和系统会议记录:软件理论与实践联合欧洲会议的一部分 2011年3月, 第18-37页 清单契约通过使用谓词细化类型来跟踪精确的属性,例如{ x个 :内部| x个 >0}表示正整数。 契约和多态性自然地结合在一起:程序员可以为抽象类型提供强大的契约,精确地说。。。 第条 2010年12月 逻辑程序设计语言Gödel的多态多端类型系统的实现 哥德尔是继序言之后的一种声明性逻辑编程语言。 它的一个重要特征是多态性多分类系统。 在本文中,我们首先引入了类型化一阶语言的概念。 然后给出…的定义。。。 文章 2010年9月 本地存储的名义关系模型 名词集理论是关于名称、新鲜度和活页夹的理论。 最近有人建议将其作为本地商店建模的框架,因为与传统的预处理模型相比,它允许进行更基本的开发。 然而,当。。。 研究论文 2008年9月 轻量级单子区域 我们提供的Haskell库静态地确保了资源(如文件句柄)的安全使用。 我们静态地防止访问已经关闭的句柄或忘记关闭它。这些库可以扩展到其他资源,例如。。。 另发布于: ACM SIGPLAN通知:第44卷第2期2009年2月 第条 2008年6月 参数多态的类型化范式互模拟 本文提出了一种新的参数多态性互模拟理论,它可以直接对涉及存在类型的程序等价性进行共归纳证明。 该理论是类型化范式互模拟的一个实例。。。 研究论文 2008年1月 结束阶段 :从阶段代码到类型化闭包 2008年政治公众人物会议:2008年ACM SIGPLAN部分评估和基于语义的程序操作研讨会会议记录 2008年1月, 第147-157页 https://doi.org/10.1145/12328408.1328430 代码生成使我们能够编写抽象良好的程序,而不会降低性能。 编写正确的代码生成器比构建完整的编译器容易,但仍然很难。 诸如MetaOCaml之类的类型化多阶段语言有两种帮助:它们。。。 第条 2007年10月 轻量级可扩展组件 众所周知的家族多态性方法的一个局限性是,每个“家族”都是一个大型单片程序。 在本文中,我们引入了一个极小值 轻量级 一组语言功能,将家族中的每个成员视为可重用的。。。 文章 2007年4月 作为计算效应的控制的关系参数 本文研究了存在控制算子时的参数多态性。 我们的方法是专门化一个结合多态性和计算效果的一般类型理论,方法是将其扩展为表示控制的额外常量。 签署人。。。 第条 2007年3月 C的变量模板++ 接受可变数量类型参数的泛型函数和类已被证明是C++的一个非常有用但缺失的功能。 许多基础库依赖聪明的模板和预处理器技巧来模拟这种可变模板。。。