Jun Furuse

Publication Activity (10 Years)

Years Active: 2001-2022
Publications (10 Years): 4

Top Topics

Tree Structures

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)
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)
Sota Sato, Ryotaro Banno, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
Verification of a Merkle Patricia Tree Library Using F. 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)
Jun Furuse
Extensional Polymorphism by Flow Graph Dispatching. APLAS (2003)
Jun Furuse
Generic Polymorphism in ML. JFLA (2001)