Akira Kawata

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 6

Top Topics

Stochastic Optimization

Top Venues

New Gener. Comput.

Publications

Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types. New Gener. Comput. 40 (2) (2022)
Satoshi Egi, Akira Kawata, Mayuko Kori, Hiromi Ogawa
Embedding Non-linear Pattern Matching with Backtracking for Non-free Data Types into Haskell. New Gener. Comput. 40 (2) (2022)
Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types. CoRR (2021)
Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types. TACAS (2) (2021)
Akira Kawata, Atsushi Igarashi
A Dependently Typed Multi-Stage Calculus. CoRR (2019)
Akira Kawata, Atsushi Igarashi
A Dependently Typed Multi-stage Calculus. APLAS (2019)