Algorithm animation using shape analysis: visualising abstract executions.

Dierk Johannes Raimund Seidel Reinhard Wilhelm Algorithm animation using shape analysis: visualising abstract executions. 17-26 2005 conf/softvis/2005 SOFTVIS http://doi.acm.org/10.1145/1056018.1056021 db/conf/softvis/softvis2005.html#JohannesSW05