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

Ken Sakayori

  1. Borrowable Fractional Ownership Types for Verification
    2023/10/31 by Takashi Nakayama, Yusuke Matsushita, Nakayama, Takashi +7 · 1 citation
    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