ブラウズ : 著者 Kawata, Akira
検索結果表示: 1 - 3 / 3
書誌情報 | ファイル |
---|---|
A dependently typed multi-stage calculus Kawata, Akira; Igarashi, Atsushi (2019-01-01) Programming Languages and Systems, 11893: 53-72 | |
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types Nishida, Yuki; Saito, Hiromasa; Chen, Ran; Kawata, Akira; Furuse, Jun; Suenaga, Kohei; Igarashi, Atsushi (2021) Tools and Algorithms for the Construction and Analysis of Systems: 262-280 | |
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types Nishida, Yuki; Saito, Hiromasa; Chen, Ran; Kawata, Akira; Furuse, Jun; Suenaga, Kohei; Igarashi, Atsushi (2022-07) New Generation Computing, 40(2): 507-540 |