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

Austin J. Blatt

  1. Executable formal semantics for the POSIX shell
    2019/07/11 by Michael Greenberg, Austin J. Blatt, Greenberg, Michael +1 · 2 voices
    Computer Science · #cs.PL #cs.OS