Sign in
A general construction for abstract interpretation of higher-order automatic differentiation.
Jacob Laurel
Rem Yang
Shubham Ugare
Robert Nagel
Gagandeep Singh
Sasa Misailovic
Published in:
Proc. ACM Program. Lang. (2022)
Keyphrases
</>
higher order
abstract interpretation
termination analysis
database
case study
pairwise
matching algorithm