找到1个数据集

标签: 无限制效果

过滤结果

  • Separation_Logic_无限制效果处理程序实现与测试基准数据

    2026年2月6日 30 119 74

    数据集概述 本数据集为论文《Separation Logic for Unrestricted Effect Handlers》的支撑数据，包含分离逻辑无限制效果处理程序的最新实现代码与测试基准，以压缩包形式提供，用于支持相关研究的复现与验证。 文件详解 文件名称：speration_logic_for_effects.zip 文件格式：ZIP...
    packageimg