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

Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo

Browse the full VMCAI paper archive.