Sign in

Runtime Abstract Interpretation for Numerical Accuracy and Robustness.

Franck VédrineMaxime JacqueminNikolai KosmatovJulien Signoles
Published in: VMCAI (2021)
Keyphrases
  • abstract interpretation
  • error rate
  • termination analysis
  • knowledge base
  • programming language
  • database applications
  • spatial data
  • reasoning engine