Semantic issues in the design of languages for debugging | IEEE Conference Publication | IEEE Xplore