Extended support for borrowing and lifetimes in Prusti
Lorenz Gorse[Google Scholar] [DBLP] [Citeseer]
Masters thesis
Programming Methodology Group, Institute for Programming Languages and Systems, ETH Zürich
Zürich
October 2020
Note(s): Rust language, Prusti verifier
Programming Methodology Group, Institute for Programming Languages and Systems, ETH Zürich
Zürich
October 2020
Note(s): Rust language, Prusti verifier