乌普萨拉大学 发布 Floating-Point Functions Dataset 数据集, 应用在 软件开发、程序分析 领域

乌普萨拉大学 本次发布的数据集 Floating-Point Functions Dataset, 本数据集为首个大规模实证研究，专注于静态类型语言中浮点运算的使用情况，数据来源于公共GitHub仓库。研究采用了包括随机抽样和基于代码内在属性过滤在内的先进挖掘技术，以避免偏差。数据集通过在源代码中搜索关键词和分析代码结构来识别浮点运算的使用。该数据集为10百万个真实世界的浮点函数，为构建新基准和评估浮点分析技术奠定了基础，具有高度的代表性，能够为浮点运算自动化推理技术的开发与评估提供支持。

查看Floating-Point Functions Dataset

关于 乌普萨拉大学 , 乌普萨拉大学是瑞典的一所著名大学，位于乌普萨拉市，成立于1477年，是北欧最古老的大学之一，提供广泛的教育和研究项目。

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。