Publication | Closed Access

Fast Lightweight Suffix Array Construction and Checking

EngineeringString-searching AlgorithmProgram AnalysisString ProcessingCombinatorial Pattern MatchingFormal MethodsSoftware AnalysisParallel ProgrammingComputer ScienceFormal Verification