Context-Sensitive Abstract Interpretation of Dynamic Languages. - Franciszek Piszcz (CoRR, 2024)