Report - Executable formal semantics for the POSIX shellmichael/papers/smoosh_sub2020.pdf · a necessary escape hatch (e.g., Vagrant, Puppet). The POSIX shell is critical software infrastructure.

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form