Separation_Logic_无限制效果处理程序实现与测试基准数据
收藏海数据2026-03-14 收录
下载链接：
https://haidatas.com/dataset/separation_logic_wuxianzhixiaoguochulichen_84cc9296
下载链接
链接失效反馈官方服务：
资源简介：
本数据集为论文《Separation Logic for Unrestricted Effect Handlers》的支撑数据，包含分离逻辑无限制效果处理程序的最新实现代码与测试基准，以压缩包形式提供，用于支持相关研究的复现与验证。 论文《Separation Logic for Unrestricted Effect Handlers》
提供机构：
公开数据
创建时间：
2026-02-06
