
Abdennadher, S. and Sharaf, N. (2012b). Visualization of
CHR through Source-to-Source Transformation. In
Dovier, A. and Costa, V. S., editors, ICLP (Technical
Communications), volume 17 of LIPIcs, pages 109–
118. Schloss Dagstuhl - Leibniz-Zentrum fuer Infor-
matik.
Cornelissen, B., Zaidman, A., and van Deursen, A. (2010).
A controlled experiment for program comprehension
through trace visualization. IEEE Transactions on
Software Engineering, 37(3):341–355.
de Marneffe, P. (1998). The problem of examination ques-
tions in algorithmics. In Davies, G. and
´
OHigeartaigh,
M., editors, Proceedings of the 6th Annual Conference
on the Teaching of Computing and the 3rd Annual
SIGCSE Conference on Innovation and Technology in
Computer Science Education, ITiCSE 1998, Dublin
City Univ., Ireland, 18-21 August 1998, pages 74–76.
ACM.
Fırat, E. E. and Laramee, R. S. (2018). Towards a survey
of interactive visualization for education. Computer
Graphics and Visual Computing, CGVC 2018, pages
91–101.
Fortner, B. (1995). The data handbook - a guide to under-
standing the organization and visualization of techni-
cal data (2. ed.). Springer.
Hundhausen, C., Douglas, S., and Stasko, J. (2002).
A Meta-Study of Algorithm Visualization Effective-
ness. Journal of Visual Languages & Computing,
13(3):259–290.
Keller, P. R. and Keller, M. M. (1993). Visual cues - practi-
cal data visualization. IEEE.
Kerren, A. and Stasko, J. (2002). Chapter 1 Algorithm An-
imation. In Diehl, S., editor, Software Visualization,
volume 2269 of Lecture Notes in Computer Science,
pages 1–15. Springer Berlin / Heidelberg.
Lewis, J. R. (2018). The system usability scale: past,
present, and future. International Journal of Human–
Computer Interaction, 34(7):577–590.
Mulvey, M. (2015). Effects of visualization on algorithm
comprehension. Master’s thesis, The University of
Wisconsin-Milwaukee.
Naps, T. L., Eagan, J., and Norton, L. L. (2000). Jhav
´
e - an
environment to actively engage students in web-based
algorithm visualizations. In Cassel, L. B., Dale, N. B.,
Walker, H. M., and Haller, S. M., editors, Proceedings
of the 31st SIGCSE Technical Symposium on Com-
puter Science Education, 2000, Austin, Texas, USA,
March 7-12, 2000, pages 109–113. ACM.
Rajala, T., Laakso, M.-J., Kaila, E., and Salakoski, T.
(2008). Effectiveness of program visualization: A
case study with the ville tool. Journal of Information
Technology Education. Innovations in Practice, 7:15.
Repenning, A. and Sumner, T. (1995). Agentsheets:
A medium for creating domain-oriented languages.
IEEE Computer, 28(3):17–25.
Roshdy, A., Sharaf, N., Saad, M., and Abdennadher, S.
(2018). Generic data visualization platform. In
Banissi, E., Francese, R., Bannatyne, M. W. M.,
Wyeld, T. G., Sarfraz, M., Pires, J. M., Ursyn,
A., Bouali, F., Datia, N., Venturini, G., Polese, G.,
Deufemia, V., Mascio, T. D., Temperini, M., Sciar-
rone, F., Malandrino, D., Zaccagnino, R., D
´
ıaz, P.,
Papadopoulo, F., Anta, A. F., Cuzzocrea, A., Risi,
M., Erra, U., and Rossano, V., editors, 22nd Interna-
tional Conference Information Visualisation, IV 2018,
Fisciano, Italy, July 10-13, 2018, pages 56–57. IEEE
Computer Society.
Saltan, F. (2017). The impact of online algorithm visual-
ization on ict students’ achievements in introduction
to programming course. Journal of Education and
Learning, 6(1):184–192.
Saraiya, P., Shaffer, C. A., McCrickard, D. S., and North, C.
(2004). Effective features of algorithm visualizations.
In Joyce, D. T., Knox, D., Dann, W., and Naps, T. L.,
editors, Proceedings of the 35th SIGCSE Technical
Symposium on Computer Science Education, SIGCSE
2004, Norfolk, Virginia, USA, March 3-7, 2004, pages
382–386. ACM.
Sharaf, N., Abdennadher, S., and Fr
¨
uhwirth, T. (2014a).
Chranimation: An animation tool for constraint han-
dling rules. In International Symposium on Logic-
Based Program Synthesis and Transformation, pages
92–110. Springer.
Sharaf, N., Abdennadher, S., and Fr
¨
uhwirth, T. (2014b). Vi-
sualization of constraint handling rules. arXiv preprint
arXiv:1405.3793.
Stasko, J. T., Badre, A. N., and Lewis, C. (1993). Do algo-
rithm animations assist learning?: an empirical study
and analysis. In Arnold, B., van der Veer, G. C., and
White, T. N., editors, Human-Computer Interaction,
INTERACT ’93, IFIP TC13 International Conference
on Human-Computer Interaction, 24-29 April 1993,
Amsterdam, The Netherlands, jointly organised with
ACM Conference on Human Aspects in Computing
Systems CHI’93, pages 61–66. ACM.
CSEDU 2025 - 17th International Conference on Computer Supported Education
572