Login / Signup

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

Kengo KidoSwarat ChaudhuriIchiro Hasuo
Published in: SNR@CAV (2015)
Keyphrases
  • abstract interpretation
  • static analysis
  • dynamic analysis
  • source code
  • regular expressions
  • termination analysis
  • reasoning engine
  • test suite
  • case study
  • high level
  • training set
  • data model
  • query language