MAF: A Framework for Modular Static Analysis of Higher-Order Languages.

Noah Van Es Jens Van der Plas Quentin Stiévenart Coen De Roover

Published in: SCAM (2020)

Keyphrases

static analysis
higher order
abstract interpretation
probabilistic model
modular structure
source code
expressive power
dynamic analysis
learning algorithm
termination analysis