Vieira, T., Alves, V., & Teixeira, L. 2025 set 22. An Interpreter-based Framework for Static Analysis of Variability in Space and Time. Anais do Simpósio Brasileiro de Linguagens de Programação (SBLP). [Online] :