Static Type Analysis by Abstract Interpretation of Python Programs (Artifact)

Authors: https://doi.org/10.4230/LIPIcs.ECOOP.2020.17, Ouadjaout, Abdelraouf

Index Terms: Formal Methods, Static Analysis, Abstract Interpretation, Type Analysis, Dynamic Programming Language, Python Semantics, Data processing Computer science, InProceedings, publishedVersion