文献
J-GLOBAL ID:202202266479489882
整理番号:22A0507989
SolType:固体性における算術オーバーフローのための精密化型【JST・京大機械翻訳】
SolType: refinement types for arithmetic overflow in solidity
著者 (5件):
Tan Bryan
(University of California at Santa Barbara, USA)
,
Mariano Benjamin
(University of Texas at Austin, USA)
,
Lahiri Shuvendu K.
(Microsoft Research, USA)
,
Dillig Isil
(University of Texas at Austin, USA)
,
Feng Yu
(University of California at Santa Barbara, USA)
資料名:
Proceedings of the ACM on Programming Languages
(Proceedings of the ACM on Programming Languages)
巻:
6
号:
POPL
ページ:
1-29
発行年:
2022年
JST資料番号:
W5683A
ISSN:
2475-1421
資料種別:
逐次刊行物 (A)
記事区分:
原著論文
発行国:
アメリカ合衆国 (USA)
言語:
英語 (EN)