保存此搜索
研究论文 2024年6月 函数在整个科学和计算中的普遍性 普遍性 这里的概念意味着在数学和应用中具有广泛的概念性和实用性。 这个 功能 这个概念的普遍性得益于它的简单性、通用性和强大的代数性质。 在…的科学中证明的优势。。。 研究论文 2024年6月 用于形式规范的结构、联合和未指定术语的语义 FormaliSE’24:2024年IEEE/ACM第12届软件工程形式化方法国际会议论文集(FormaliSE) 2024年4月, 第100–110页 https://doi.org/10.1145/3644033.3644380 ACSL是一种用于C的行为接口规范语言。它由Frama-C使用,该框架包括几种基于方法的正式技术,用于验证与ACSL注释相关的C代码。 目前,ACSL还没有正式定义。。。 研究论文 2024年5月 刚刚接受 研究论文 2024年5月 通过证据学习调整分布式Web图像和标题语义 在网络规模的数据集上预先训练的视觉语言模型有可能大大增强网络应用程序(例如搜索引擎、聊天机器人和艺术工具)的智能。 准确地说,这些模型将不同的域对齐到一个共同嵌入中。。。 研究论文 2024年5月 走向可解释的代理人行为 AAMAS’24:第23届自主代理和多代理系统国际会议记录 2024年5月, 第2740–2742页 代理是一种特殊的基于AI的软件,因为它们在复杂的环境中进行交互,并增加了紧急行为的可能性,即使是在孤立的环境中。 解释这种行为是部署可信AI的关键,但越来越多的。。。 -
研究论文 2024年4月 消息-观察会话 我们介绍了Most,这是一种具有消息观察会话类型的过程语言。 消息观察会话类型通过类型级计算扩展了二进制会话类型,以指定根据其他通道上观察到的消息而变化的通信协议。。。 一种纯需求操作语义及其在程序分析中的应用 本文为高阶函数语言开发了一种新的最小状态操作语义 只有 调用堆栈和源程序点或词法级作为 完成 状态信息:没有环境,没有替代。。。 基于生成函数的松散概率程序精确贝叶斯推理 我们提出了一种精确的贝叶斯推断方法,用于推断由概率程序编码的后验分布 无边界循环 。我们的方法建立在由 概率生成函数 , ... 研究论文 2024年4月 组合微分参数不连续性的分布 物理模拟、计算机图形学和概率推理中的计算通常需要区分由于接触、遮挡和某个时间点的变化而导致的不连续过程。 流行的可区分编程语言,例如。。。 概率程序的牛顿程序分析 由于其定量性质,概率程序对设计组合和高效程序分析提出了非平凡的挑战。 概率程序的许多分析都依赖于迭代近似。 本文介绍了一个。。。 HOL4P4:P4的机械化小步语义 我们提出了网络数据平面编程语言P4的第一个语义,该语言能够充分捕获P4的所有关键特性 16 P4的最新版本,包括外部函数(externs)和并发。 这些特征是密切相关的。。。 研究论文 2024年4月 抽象解释中的困难——通过抽象解释调节稳健性 健壮性是任何分类系统的关键和理想属性,尤其是为了避免对抗性攻击不断增加的威胁。 非正式地,当结果不受输入扰动的影响时,分类系统是稳健的。。。 研究论文 2024年4月 数据库后端中的存储模型 本文描述了正在进行的开发数据库后端正式规范的工作。 我们对调用简单存储API的基本事务系统的预期行为进行了形式化,并在两个语义中进行了实例化。。。 研究论文 2024年4月 线性化的合成理论 组合性是编程语言研究的核心,已成为大型系统可扩展验证的重要目标。 尽管如此,对于 线性化能力 正确性的黄金标准。。。 研究论文 2024年3月 并发程序设计语言的局部抽象、全局具体语义 形式化、数学上严格的编程语言语义是逻辑和计算设计的基本前提,逻辑和计算允许对并发程序进行自动推理。 我们提出了一种新颖的模块化语义,设计用于平滑对齐。。。 研究论文 2024年3月 面向对象程序设计中类不变量的概念 类不变量——对给定类型对象的每个操作所保留的一致性约束——是构建、理解和验证面向对象程序的基础。 然而,为了进行验证,他们提出了一些困难,而这些困难还没有。。。 研究论文 2024年3月 跳跃重启自动机的层次结构 摘要 重启自动机是语言简化分析技术的一种形式化模型。 在早期的工作中,重启自动机的所有变体总是以连续的方式进行。 这里我们介绍一下 跳跃重启自动机 只是。。。 研究论文 2024年2月 交互语言的指称语义和操作语义 :应用于痕量分析 摘要 以序列图(SD)的形式对分布式系统的行为进行图形化描述被广泛使用,其形式包括消息序列图(MSC)或UML-SD。然而,只有这些语言的有限子集与。。。 研究论文 2024年2月 用形式上下文表示代数域的直接方法 摘要 本文旨在在领域理论和形式概念分析(FCA)之间建立更紧密的联系。 我们提出了形式上下文的优化概念的概念,它具有与意图类似的一些属性。 使用优化的工具。。。 研究论文 2024年2月 有限字超语言 摘要 正式语言 是计算模型及其行为的核心。 许多语言类的丰富模型家族已经被广泛研究。 超属性 从一组执行跟踪中提升传统的基于跟踪的语言。。。