Static Analysis of Python Programs using Abstract Interpretation: An Application to Tensor Shape Analysis
Cruz Camacho, Elkin Alejandro · 2019
Magister en Ingenieria de Sistemas y Computacion. Linea de Investigacion: Lenguajes de Programacion. The implementation source code can be found at: https://github.com/helq/pytropos/tree/8342b1aaed519a7ebe04eebba5b7ba6486586b86