1 paper · 2 filters
Uri Abraham, Avi Hayoun
We present a formal framework for proving the correctness of set implementations backed by binary-search-tree (BST) and linked lists, which are often difficult to prove correct usi…