Card sorting data for Formal methods for GPGPU programming: is the demand met?

# GPU Questions<br>This is the data from the card sorting from the paper "Formal methods for GPGPU programming: is the demand met?" (Section 3) that will be published at integrated Formal Methods 2020.<br><br>The original questions, with title and body can be found in the `complete_dataset_GPGPUtags.csv` file. Note that there are duplicates, but that doesn't matter.<br><br>The file `Results_final.csv` has all the categories associated with the questions resulting from the card sorting.<br><br>The file `categories.csv` has the sums of all the categories<br><br>Note that some questions have since been removed from stack overflow, but otherwise the questions can be found via: `https://stackoverflow.com/questions/[id]` where [id] is the id of the questions.

# GPU相关问题
本数据集源自将于2020年集成形式化方法会议（Integrated Formal Methods 2020）发表的论文《面向通用图形处理器编程的形式化方法：需求是否得到满足？》（"Formal methods for GPGPU programming: is the demand met?"）的第3章节中的卡片分类实验数据。

包含问题标题与正文的原始数据集可在`complete_dataset_GPGPUtags.csv`文件中获取。需注意，数据中存在重复条目，但不影响后续使用。

`Results_final.csv`文件收录了本次卡片分类实验得到的、与所有问题关联的分类结果。

`categories.csv`文件统计了各类别下的条目总数。

需注意，部分问题已从Stack Overflow平台下架，但其余问题仍可通过链接`https://stackoverflow.com/questions/[id]`访问，其中`[id]`为对应问题的唯一标识符。