Ownership Types for Verification of Programs with Pointer Arithmetic.

Izumi Tanaka Ken Sakayori Naoki Kobayashi

Published in: PEPM (2024)

Keyphrases

data structure
databases
multimedia
high level
bayesian networks
artificial neural networks
floating point