operational semantics | BriefGPT

关键词operational semantics

搜索结果 - 5

使用 Isabelle/HOL 实现的 VHDL 可执行形式模型
该研究通过定义 Isabelle/HOL 中的 VHDL 语言的形式模型，并构建 VHDL 仿真器，实现了对 VHDL 语言进行形式推理的目的。
PDF2 years ago
可测锥与稳定、可测函数
定义了稳定可测地图的概念，并展示其构成了用可测测试测度的圆锥的 cpo-enriched 笛卡尔闭范畴，该范畴为支持概率函数编程的 PCF 扩展提供了一种指称模型，例如连续和离散概率分布，采样，条件和全递归。我们证明了该模型相对于名称调用操
PDF7 years ago
概率编程的语义学：高阶函数，连续分布和软约束
本文研究表达丰富的概率编程语言（如 Anglican，Church 和 Venture），分析它们的语义基础，运用测度论、随机标记转移系统和函子范畴，定义操作语义和标称语义，并证明其存在性、充分性、终止性，采用其来验证编译器优化和推理算法的
PDF8 years ago
MM无逻辑编程中的逻辑编程
本文构建了一个基于逻辑的框架，使用操作语义来执行反应规则，保证规则的真实性，但无法扼制原因变为真实或者在原因变为真实之前就使结果为真。
PDF9 years ago
具有副作用的上下文诱发推理
该研究讨论了信念偏差效应的心理逻辑，并通过心理学的演绎任务表明了该效应。研究提出了关于诱导性推理的新问题，并给出了新的定义和语法语义。
PDF10 years ago