Towards Understanding Programs by Counting Objects | IEEE Conference Publication | IEEE Xplore