A rewriting paradigm for program and algorithm animation | IEEE Conference Publication | IEEE Xplore