Sign in

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

Noah Van EsJens Van der PlasQuentin StiévenartCoen 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