Design of a checkout compiler | IBM Journals & Magazine | IEEE Xplore