SAS21
收藏DataCite Commons2021-04-26 更新2024-07-28 收录
下载链接：
https://figshare.com/articles/dataset/SAS21/14483775/1
下载链接
链接失效反馈官方服务：
资源简介：
This repository contains the source code of examples in the paper "Preserving Provability of GPU program Optimizations" submitted to the Static Analysis Symposium (SAS) 2021.
本代码仓库包含提交至2021年静态分析研讨会（Static Analysis Symposium，SAS）的论文《GPU程序优化的可证明性保持》中的示例源代码。
提供机构：
figshare
创建时间：
2021-04-26
