External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis

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]

Authors

Kengo Kido

This author has not been identified. Look up 'Kengo Kido' in Google

Swarat Chaudhuri

This author has not been identified. It may be one of the following persons: Look up 'Swarat Chaudhuri' in Google

Ichiro Hasuo

This author has not been identified. Look up 'Ichiro Hasuo' in Google
runs on