# A dual number abstraction for static analysis of Clarke Jacobians

> Research article (Proceedings of the ACM on Programming Languages, 2022) · cited 17× · AI/ML

**Wikidata**: [openalex:W4206554519](https://www.wikidata.org/wiki/openalex:W4206554519)  
**Source**: https://4ort.xyz/entity/a-dual-number-abstraction-for-static-analysis-of-clarke-jacobians