論文

査読有り

2013年12月

A Hoare Logic for SIMT Programs

Proceedings of Asian Symposium on Programming Languages and Systems (APLAS2013)

Kensuke Kojima
Atsushi Igarashi

開始ページ: 58
終了ページ: 73
記述言語
掲載種別: 研究論文（国際会議プロシーディングス）
DOI: 10.1007/978-3-319-03542-0_5
出版者・発行元: Springer International Publishing

リンク情報

DOI: https://doi.org/10.1007/978-3-319-03542-0_5
DBLP: https://dblp.uni-trier.de/rec/conf/aplas/KojimaI13
URL: http://link.springer.com/content/pdf/10.1007/978-3-319-03542-0_5

ID情報

DOI : 10.1007/978-3-319-03542-0_5
ISSN : 0302-9743
eISSN : 1611-3349
DBLP ID : conf/aplas/KojimaI13
SCOPUS ID : 84893372199

エクスポート: BibTeX RIS

論文リストへ