Abstract: In the context of Alma (a system for program visualization and algorithm animation), we use an internal representation - based on the concept of an attributed abstract syntax tree decorated ...