Login / Signup

A general construction for abstract interpretation of higher-order automatic differentiation.

Jacob LaurelRem YangShubham UgareRobert NagelGagandeep SinghSasa Misailovic
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases
  • higher order
  • abstract interpretation
  • termination analysis
  • database
  • case study
  • pairwise
  • matching algorithm