A dual number abstraction for static analysis of Clarke Jacobians.

Jacob Laurel Rem Yang Gagandeep Singh Sasa Misailovic

Published in: Proc. ACM Program. Lang. (2022)

Keyphrases

static analysis
small number
dynamic analysis
database
domain knowledge
source code
databases
data warehouse
closed form