Automatic accurate cost-bound analysis for high-level languages | IEEE Journals & Magazine | IEEE Xplore