Certification of Tail Recursive Bubble-Sort in Theorema and Coq.

Isabela Dramnesc Tudor Jebelean Sorin Stratulat

Published in: LPAR Complementary Volume (2024)

Keyphrases

formal methods
third party
recursive algorithm
finite element
information retrieval
theorem prover
database administration
heavy tailed