This is also true for C [0,1] and other mainstream languages [2] now. [0] http://robbertkrebbers.nl/thesis.html http://robbertkrebbers.nl/thesis.html [1] https

This is also true for C [0,1] and other mainstream languages [2] now. [0] http://robbertkrebbers.nl/thesis.html http://robbertkrebbers.nl/thesis.html [1] https://github.com/kframework/c-semantics https://github.com/kframework/c-semantics [2] http://www.kframework.org/index.php/Projects http://www.kframework.org/index.php/Projects