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

John Toman

  1. ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs
    2020/02/18 by John Toman, Toman, John, Ren Siqi +7 · 2 citations
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, programming, and type systems #Programming Languages (cs.PL) #Security and Verification in Computing