Manim-DFA: Visualising Data Flow Analysis and Abstract Interpretation Algorithms with Automated Video Generation.

Lucas Berg, Gonzague Yernaux, Mikel Vandeloise, Wim Vanhoof

Browse the full CSEDU paper archive.