著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Azalea Raad and John Wickerson and Gil Neiger and Viktor Vafeiadis,Persistency semantics of the Intel-x86 architecture,Proceedings of the ACM on Programming Languages,2475-1421,Association for Computing Machinery (ACM),2019-12-20,4,POPL,1-31,https://cir.nii.ac.jp/crid/1362825895163012096,https://doi.org/10.1145/3371079