-
Separation_Logic_无限制效果处理程序实现与测试基准数据
2026年2月6日 30 172 105
数据集概述 本数据集为论文《Separation Logic for Unrestricted Effect Handlers》的支撑数据，包含分离逻辑无限制效果处理程序的最新实现代码与测试基准，以压缩包形式提供，用于支持相关研究的复现与验证。 文件详解 文件名称：speration_logic_for_effects.zip 文件格式：ZIP...
-
Openforcefield_YDS_Upload_43_Based_化学结构参数完整数据集
2025年12月13日 30 15 14
数据集概述 该数据集包含多种类型的文件，涵盖化学结构参数数据（如键长、角度、二面角等）、可视化图表（PNG格式）、代码文件、配置文件及压缩数据，为相关研究提供多维度的数据支持。 文件详解 数据文件（CSV格式）：...
