Artifact for "Accumulation Analysis"
收藏数据链接:
官方服务:
资源简介:
The artifact for the paper "Accumulation Analysis", published at ECOOP 2022. It contains the data for our literature survey of papers that use typestate specifications, as well as supporting evidence for miscellaneous claims. See the file `README.md` for details.
提供机构:
Zenodo创建时间:
2021-12-10



