van Emde Boas Trees
From MaRDI portal
Van Emde Boas Trees
- Design and implementation of an efficient priority queue
- For a few dollars more. Verified fine-grained algorithm analysis down to LLVM
- Unnamed Publication
- Introduction to algorithms.
- Refinement to imperative HOL
- Verified Textbook Algorithms
- Verifying asymptotic time complexity of imperative programs in Isabelle
This page was built for software: van Emde Boas Trees
