Flowchart Programs, Regular Expressions, and Decidability of Polynomial Growth-Rate. - Amir M. Ben-Amram; Aviad Pineles (VPT@ETAPS, 2016)