Kengo Kido, Swarat Chaudhuri, Ichiro Hasuo. Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis. In Sergiy Bogomolov, Ashish Tiwari, editors, 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015. Volume 37 of EPiC Series in Computing, pages 11-22, EasyChair, 2015. [doi]
@inproceedings{KidoCH15,
title = {Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis},
author = {Kengo Kido and Swarat Chaudhuri and Ichiro Hasuo},
year = {2015},
url = {http://www.easychair.org/publications/paper/Abstract_Interpretation_with_Infinitesimals_Towards_Scalability_in_Nonstandard_Static_Analysis},
researchr = {https://researchr.org/publication/KidoCH15},
cites = {0},
citedby = {0},
pages = {11-22},
booktitle = {1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, SNR@CAV 2015, San Francisco, CA, USA, July 19, 2015},
editor = {Sergiy Bogomolov and Ashish Tiwari},
volume = {37},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}