Formally Verified Suffix Array Construction

Louis Cheung, Christine Rizkallah. Formally Verified Suffix Array Construction. Archive of Formal Proofs, 2024, 2024. [doi]

Abstract

Abstract is missing.