-
Separation_Logic_无限制效果处理程序实现与测试基准数据
2026年2月6日 30 38 23
数据集概述 本数据集为论文《Separation Logic for Unrestricted Effect Handlers》的支撑数据,包含分离逻辑无限制效果处理程序的最新实现代码与测试基准,以压缩包形式提供,用于支持相关研究的复现与验证。 文件详解 文件名称:speration_logic_for_effects.zip 文件格式:ZIP...
-
基于面向对象程序的规范错误推断研究支持数据_OOPSLA24
2026年1月29日 30 30 1
数据集概述 本数据集是OOPSLA24会议投稿论文《Inferring Incorrectness Specifications for OO Programs》的支持数据,包含论文中呈现的源代码和基准测试内容,以压缩包形式提供,总计一个文件,无目录层级结构。 文件详解 文件名称:infer_oop.zip 文件格式:ZIP...
-
参与式学术研究方法补充材料数据集2023
2025年12月19日 30 114 37
数据集概述 该数据集是关于“参与式学术研究方法”的补充材料,包含研究项目的程序委员会相关文档,为理解参与式研究在学术界的应用与发展提供辅助资料。 文件详解 文件名称:oo_828875.pdf 文件格式:PDF 文件内容:参与式学术研究项目的程序委员会文档,具体内容围绕研究项目的组织与程序设计展开 适用场景...
-
发达国家_流放地及监狱囚犯量刑程序数据集
2025年12月18日 30 148 17
数据集概述 本数据集聚焦发达国家、流放地及监狱中囚犯的量刑程序,包含一份PDF格式的相关文档,为研究不同司法场景下的量刑规则与实践提供基础资料。 文件详解 文件名称: Saydullayyev Ulug‘bek Ubaydullayyevich.pdf 文件格式: PDF (.pdf) 文件内容:...
-
改进型快速排序_最坏情况优化研究文档
2025年12月7日 30 138 116
数据集概述 本数据集包含一篇关于改进型快速排序算法的研究文档,聚焦于对快速排序最坏情况性能的优化。文档以PDF格式呈现,为理解该算法的优化思路与实现方法提供参考资料。 文件详解 文件名称: IJETAE_0815_59.pdf 文件格式: PDF (.pdf) 文件内容:...
-
基于函数的功能亲和力预测数据集-hatimcodes
2025年5月29日 30 112 68
基于函数的功能亲和力预测数据集-hatimcodes 数据来源:互联网公开数据 标签:函数亲和力,软件工程,代码分析,机器学习,数据集,软件维护,代码理解,程序设计 数据概述: 该数据集包含了用于预测函数之间功能亲和力的数据,旨在辅助软件工程师理解代码结构,优化代码维护和重构。主要特征如下: 时间跨度: 数据更新时间不定,数据内容随软件项目变化而更新。...
-
代码相似度检测数据集MarkCodeSimilarDataset-jafarjon
2025年5月18日 30 19 16
代码相似度检测数据集MarkCodeSimilarDataset-jafarjon 数据来源:互联网公开数据 标签:代码相似度,数据集,代码分析,软件工程,自然语言处理,机器学习,代码克隆,程序设计 数据概述: 该数据集包含用于代码相似度检测任务的代码片段,主要记录了不同代码片段之间的相似度关系。主要特征如下:...
-
代码相似度检测-Codeforces算法问题代码相似性数据集-yeoyunsianggeremie
2025年5月10日 30 150 13
代码相似度检测-Codeforces算法问题代码相似性数据集-yeoyunsianggeremie 数据来源:互联网公开数据 标签:代码相似度,算法问题,Codeforces,编程竞赛,代码分析,自然语言处理,机器学习,代码克隆检测,程序设计,Python 数据概述:...
-
编程竞赛题目与代码提交数据集ProgrammingContestQuestionsandCodeSubmissions-quangv
2025年5月5日 30 118 67
编程竞赛题目与代码提交数据集ProgrammingContestQuestionsandCodeSubmissions-quangv 数据来源:互联网公开数据 标签:编程竞赛, 代码提交, 算法竞赛, 程序设计, 编程语言, 代码分析, 机器学习, 数据挖掘 数据概述:...
-
编程学习C语言代码片段数据集ProgrammingLearningCLanguageCodeSnippets-bekhtinav
2025年4月29日 30 144 11
编程学习C语言代码片段数据集ProgrammingLearningCLanguageCodeSnippets-bekhtinav 数据来源:互联网公开数据 标签:C语言, 编程学习, 代码示例, 教育, 算法, 数据集, 文本分析, 程序设计 数据概述: 该数据集包含C语言代码片段,记录了用于教学和学习编程的经典代码示例。主要特征如下:...



