Executable formal semantics for the POSIX shell

Michael Greenberg, Austin J. Blatt

The POSIX shell is a widely deployed, powerful tool for managing computer systems. The shell is the expert's control panel, a necessary tool for configuring, compiling, installing,…