Login / Signup
Static Type Analysis by Abstract Interpretation of Python Programs (Artifact).
Raphaël Monat
Abdelraouf Ouadjaout
Antoine Miné
Published in:
Dagstuhl Artifacts Ser. (2020)
Keyphrases
</>
abstract interpretation
dynamic analysis
static analysis
data analysis
open source
termination analysis
database
relational databases
data management