Izumi Tanaka

According to our database, Izumi Tanaka authored at least 1 paper in 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2024

Ownership Types for Verification of Programs with Pointer Arithmetic.

Izumi Tanaka, Ken Sakayori, Naoki Kobayashi

Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation, 2024