数据集 - 海数据

基于面向对象程序的规范错误推断研究支持数据_OOPSLA24

2026年1月29日 30 87 64

数据集概述本数据集是OOPSLA24会议投稿论文《Inferring Incorrectness Specifications for OO Programs》的支持数据，包含论文中呈现的源代码和基准测试内容，以压缩包形式提供，总计一个文件，无目录层级结构。文件详解文件名称：infer_oop.zip 文件格式：ZIP...
- ZIP

智能助手

您好！我是海数据平台的智能助手，有什么可以帮助您的吗？