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

Zheng, Guolong

  1. SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic
    2019/03/22 by Le, Ton Chanh, Zheng, Guolong, Nguyen, ThanhVu · 2 citations
    #FOS: Computer and information sciences #Programming Languages (cs.PL)