Ownership types

[Google Scholar]

Notes: Rust language, Prusti verifier, Viper verifier, Regions
Papers: jung:popl:2020, astrauskas:oopsla:2019, walker:tic:2001

todo:

Rust language, Prusti verifier, astrauskas:oopsla:2019


Rust language