Completeness of string analysis for dynamic languages

Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni. Completeness of string analysis for dynamic languages. Inf. Comput., 281:104791, 2021. [doi]

Abstract

Abstract is missing.