Here's the earlier K framework[1]'s kcc[2] C rewrite semantics. Though I'm reminded of a question after a talk around ~1990. Someone from Microsoft, having pre

Here's the earlier K framework[1]'s kcc[2] C rewrite semantics. Though I'm reminded of a question after a talk around ~1990. Someone from Microsoft, having presented a C++ model, was asked (paraphrase): "So by this extraordinary effort, you have largely, but not fully, compensated for C++ having such a poorly designed <some form of semantics I no longer recall>?". There was a long pause, and then... "Yes." [1] https://kframework.org/ https://kframework.org/ [2] https://github.com/kframework/c-semantics/tree/master/semantics/c https://github.com/kframework/c-semantics/tree/master/semant...