Abstract: We present a refined segmentation abstract domain for the analysis of strings in the C programming language, properly extending the parametric segmentation approach to array representation ...

Abstract: String similarity join, as an essential operation in applications including data integration and data cleaning, has attracted significant attention in the research community. Previous ...