Runtime Abstract Interpretation for Numerical Accuracy and Robustness.

Franck Védrine Maxime Jacquemin Nikolai Kosmatov Julien Signoles

Published in: VMCAI (2021)

Keyphrases

abstract interpretation
error rate
termination analysis
knowledge base
programming language
database applications
spatial data
reasoning engine