Static Type Analysis by Abstract Interpretation of Python Programs.

Raphaël Monat Abdelraouf Ouadjaout Antoine Miné

Published in: ECOOP (2020)

Keyphrases

abstract interpretation
dynamic analysis
static analysis
object oriented
model checking
databases
reasoning engine
termination analysis
database
knowledge base
case study
data analysis
mobile devices
open source