Login / Signup

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

Raphaël MonatAbdelraouf OuadjaoutAntoine 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