A Coq Mechanization of JavaScript Regular Expression Semantics. - Noé De Santo; Aurèle Barrière; Clément Pit-Claudel (Proc. ACM Program. Lang., 2024)