Ownership Types for Verification of Programs with Pointer Arithmetic

Open Webpage

Izumi Tanaka, Ken Sakayori, Naoki Kobayashi

Published: 01 Jan 2024, Last Modified: 13 May 2025PEPM 2024EveryoneRevisionsBibTeXCC BY-SA 4.0