Machine characterization based on an abstract high-level language machine | IEEE Journals & Magazine | IEEE Xplore