47 citations · 98 across the 10 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.LO2022
Reasoning About Vectors using an SMT Theory of Sequences
Ying Sheng, Andres Nötzli, Andrew Reynolds +7
Dynamic arrays, also referred to as vectors, are fundamental data structures used in many programs. Modeling their semantics efficiently is crucial when reasoning about such progra…
cs.PL2022
The Move Borrow Checker
Sam Blackshear, John Mitchell, Todd Nowacki +1
The Move language provides abstractions for programming with digital assets via a mix of value semantics and reference semantics. Ensuring memory safety in programs with references…