New paper published in “Information and Computation”

Just published in the Information and Computation Journal the paper “Completeness of String Analysis for Dynamic Languages” by Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, and Isabella Mastroeni. Available here: https://doi.org/10.1016/j.ic.2021.104791