保存此搜索
Taypsi:用于策略不可知不经意计算的隐私策略的静态实施 安全多方计算(MPC)技术使多方能够在不与其他方共享其私有数据的情况下计算联合函数,通常是通过使用强大的加密协议来保护个人数据。。。 研究论文 2024年4月 分离度:一种灵活的安全并发系统 数据竞争一直是并发编程中的一个臭名昭著的问题。 它们很难检测到,并导致非确定性行为。 人们对静态保证数据竞争自由的类型系统非常感兴趣。 重大进展。。。 一种纯需求操作语义及其在程序分析中的应用 本文为高阶函数语言开发了一种新的最小状态操作语义 只有 调用堆栈和源程序点或词法级别作为 完成 状态信息:没有环境,没有替代。。。 通过分数唯一性实现功能所有权 Rust编程语言使所有权和借用系统脱颖而出,这些系统旨在在不需要垃圾收集的情况下实施安全的内存管理。 Rust还旨在为函数编程提供一些保证。。。 从第一原理导出依赖型OOP 这个 表达式问题 描述了如何使用新方法轻松扩展大多数类型 生产 类型或新方法 消费 类型,但不是两者都是。 例如,当抽象语法树被定义为代数数据类型时,它们很容易被。。。 -
柿子:具有可扩展变异类型的嵌套家族多态性 模块化、可扩展的代码面临着许多障碍。 有些语言结构,例如模式匹配,不容易扩展。 在存在扩展类型的情况下,继承的代码可能不是类型安全的。 建立设计模式的负担。。。 一种面向方面的C语言的设计与实现 面向方面编程(AOP)是一种以模块化方式实现横切关注点的编程范式。 人们见证了面向Java和C++的AOP语言的繁荣,如AspectJ和AspectC++,这推动了AOP成为。。。 资格认证系统F <: :部分条款和条件可能适用 类型限定符提供了一种轻量级机制,用于丰富现有的类型系统,以强制执行其他所需的程序不变量。 他们通过提供一种有限但有效的分型形式来做到这一点。 虽然类型限定符的理论很好。。。 AdoB:用原子分布对象桥接良性共识和拜占庭共识 在分布式系统中,达成共识是一个具有挑战性且普遍存在的问题,而引入恶意拜占庭服务器只会使这一问题变得更加困难。 虽然在良性和拜占庭式失效模型方面付出了巨大努力。。。 识别和纠正编程语言行为误解 关于可变变量、可变复合数据等核心语言概念及其与范围和高阶函数的相互作用的误解似乎很普遍。 但是,考虑到专家们有盲点,而且可能不会。。。 研究论文 2024年4月 用透明性实现OCaml模块 ML模块作为核心语言之上的附加层来提供大规模的组合和抽象概念。 它们在很大程度上促成了OCaml和SML的成功。虽然模块很容易为常见情况编写,但它们的高级用法。。。 一种基于学习的静态程序切片方法 传统的程序切片技术对于早期错误检测和在线代码片段的手动/自动调试至关重要。 然而,他们无法处理不完整的代码,这阻碍了他们在此类场景中的实际应用。 收件人。。。 剖析编程语言学习 本文记录了一个为期一年的实验,以“描述”学习编程语言的过程:收集数据以了解是什么使语言难以学习,并使用这些数据来改进学习过程。 我们添加了交互式测验。。。 量子控制机:量子编程中控制流的极限 用于因子分解、搜索和模拟等任务的量子算法依赖于依赖于叠加数据值的分支和迭代等控制流。 控制流的高级编程抽象,例如交换机。。。 答案精化修改:代数效果和处理程序的精化类型系统 代数效果和处理程序是一种以模块化方式构造具有计算效果的程序的机制。 它们最近越来越受欢迎,并被实用语言所采用,如OCaml。 与此同时,已经取得了实质性进展。。。 结构参数多态的参数分型 我们研究了结构亚型与参数多态性和递归定义的类型构造函数的相互作用。 虽然在这种情况下结构子类型是不确定的,但我们描述了类型构造函数的参数概念,然后。。。 ReML中的显式效果和效果约束 构建在专用硬件上或在受限环境中执行的健壮系统的一个重要方面是控制和管理程序代码执行的效果。 我们提出了ReML,一个高阶静态类型函数。。。 全类型误差定位与孔恢复 类型系统通常只定义表达式类型良好的条件,使il-typed表达式在形式上没有意义。 这种方法不足以作为驱动现代编程环境的语言服务器的基础,而现代编程环境。。。 研究论文 2024年1月 与未来、国家和互动的分离 最近的工作提出了一种并行程序的内存属性,称为解纠缠,并表明它普遍存在于用不同语言编写的各种程序中,从C/C++到并行ML,并表明可以利用它来。。。