Izumi Tanaka

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Programming Environment

Language Constructs

Top Venues

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)