Login / Signup

Machine-Checked Verification of the Correctness and Amortized Complexity of an Efficient Union-Find Implementation.

Arthur CharguéraudFrançois Pottier
Published in: ITP (2015)
Keyphrases
  • worst case
  • complexity analysis
  • implementation issues
  • database
  • model checking
  • information retrieval
  • data structure
  • search algorithm
  • query processing
  • special case
  • search tree
  • space complexity
  • formal verification