Static Value Analysis of Python Programs by Abstract Interpretation.

Aymeric Fromherz Abdelraouf Ouadjaout Antoine Miné

Published in: NFM (2018)

Keyphrases

abstract interpretation
static analysis
dynamic analysis
programming language
open source
databases
data analysis
knowledge representation
business intelligence
model checking
termination analysis