Login / Signup
Verification of mutable linear data structures and iterator-based algorithms in Dafny.
Jorge Blázquez
Manuel Montenegro
Clara Segura
Published in:
J. Log. Algebraic Methods Program. (2023)
Keyphrases
</>
data structure
algorithms and data structures
computationally efficient
computationally expensive
times faster
recently developed
efficient data structures
computer vision
computational complexity
computational cost
orders of magnitude
data types
computational efficiency
data structures and algorithms