The CORE system: Animation and functional correctness of pointer programs | IEEE Conference Publication | IEEE Xplore