Lucas Berg, Gonzague Yernaux, Mikel Vandeloise, Wim Vanhoof. Manim-DFA: Visualising Data Flow Analysis and Abstract Interpretation Algorithms with Automated Video Generation. In Benedict du Boulay, Tania Di Mascio, Edmundo Tovar, Christoph Meinel, editors, Proceedings of the 17th International Conference on Computer Supported Education, CSEDU 2025, Porto, Portugal, April 1-3, 2025, Volume 1. pages 604-611, SCITEPRESS, 2025. [doi]
Abstract is missing.