A Reusable Machine-Calculus for Automated Resource Analyses. - Hector Suzanne; Emmanuel Chailloux (LOPSTR, 2023)