On Various Abstract Understandings of Abstract Interpretation | IEEE Conference Publication | IEEE Xplore