Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis.

Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo

Browse the full CAV paper archive.