QUICr:集的QUICr参数抽象域

【文件属性】：
文件名称：QUICr:集的QUICr参数抽象域
文件大小：419KB
文件格式：ZIP
更新时间：2021-05-24 08:34:02
OCaml QUICr设置抽象域库 QUICr是具有公共接口的集合的抽象域的集合。 当前，它集中于具有单例的符号集。 因此，它不（当前）支持QUICr最初提供的内容推理。 提供内容推理的QUICr原始版本可在获得。 抽象领域 QUICr是用于多个抽象的公共域接口。 它旨在在单个公共接口下支持许多底层抽象和它们之间的简化。 因此，任何利用该接口的抽象解释器都可以交换任何包含的集合抽象。 打算探索以下抽象（尽管目前还没有全部包括在内）。 基于BDD的集合抽象 这些抽象使用二进制决策图作为基础数据结构。 这意味着它们的范式可能不是最佳的，但它们非常笼统和精确。 在这个空间中，我们计划实现以下抽象： 完整的BDD：基于BDD的简单集合抽象 这直接使用BDD和（或）操作来实现集合抽象，而不是分别表示集合相交，并集和补码的操作。 结果，这不一定为不相交联合之类的操作提供紧凑的表示，这需要在BDD中对成对不相交