代数数据类型的快速理论探索程序变换可复现性包

数据集概述

本数据集是一个可复现性包，包含论文中提出的工具LemmaCalc、基准测试文件、TheSy二进制文件、适用于Linux系统的Z3二进制文件及实验复现脚本，支持论文中图表1的主要结果及算法1至3的实现验证。

文件详解

• LICENSE: 无扩展名文件，包含数据集的许可协议说明。
• README.md: Markdown格式文档，介绍可复现性包的内容组成、支持的论文部分及实验复现的相关说明。
• artifact.zip: 压缩包文件，包含工具LemmaCalc、基准测试文件、TheSy二进制文件、Linux系统的Z3二进制文件及实验复现脚本等核心内容。

适用场景

• 程序变换研究: 用于验证代数数据类型快速理论探索相关算法的实现效果。
• 工具复现验证: 复现论文中图表1的主要结果及算法1至3的实验过程。
• 形式化方法实验: 支持基于LemmaCalc、TheSy及Z3工具的理论探索实验设计。