Abstract interpretation of Michelson smart-contracts. - Guillaume Bau; Antoine Miné; Vincent Botbol; Mehdi Bouaziz (SOAP@PLDI, 2022)