vix.ing · top · new · best · stats · spec

Kido, Kengo

  1. Abstract Interpretation with Infinitesimals: Towards Scalability in Nonstandard Static Analysis (Extended Version)
    2015/11/03 by Kengo Kido, Swarat Chaudhuri, Kido, Kengo +3 · 1 citation
    Computer Science · #Computability, Logic, AI Algorithms #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #cs.PL