Gabet, Julia

1. Static Race Detection and Mutex Safety and Liveness for Go Programs (extended version)
   2020/04/27 by Julia Gabet, Nobuko Yoshida, Gabet, Julia +1 · 1 voice
   Computer Science · #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Programming Languages (cs.PL) #cs.LO #cs.PL