search

nixpulvis / oursh

Your comrade through the perilous world of UNIX.
http://nixpulvis.com/oursh/oursh
MIT License
67 stars 6 forks source link

Review "Executable formal semantics for the POSIX shell" #62

Open nixpulvis opened 3 years ago

nixpulvis commented 3 years ago

Greenberg and Blatt's Executable formal semantics for the POSIX shell should be closely read before we're done with the T-semantics and POSIX milestone.

Hopefully we'll find at least a few bugs in our code, if not whole features.