Login / Signup
Izumi Tanaka
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Floating Point
Programming Environment
Language Constructs
Databases
Top Venues
PEPM
CoRR
</>
Publications
</>
Izumi Tanaka
,
Ken Sakayori
,
Naoki Kobayashi
Ownership Types for Verification of Programs with Pointer Arithmetic.
PEPM
(2024)
Izumi Tanaka
,
Ken Sakayori
,
Naoki Kobayashi
Ownership Types for Verification of Programs with Pointer Arithmetic.
CoRR
(2023)