找到1个数据集

标签: 处理验证

过滤结果

  • ICFP24_Based_代数效应与处理验证规范支持数据

    2026年1月30日 30 90 82

    数据集概述 本数据集是提交至ICFP24的论文《Specification and Verification for Unrestricted Algebraic Effects and Handling》的支持数据，包含论文相关的源代码和基准测试样例，所有内容压缩为一个归档文件。 文件详解 文件名称：AlgebraicEffect-...
    packageimg