Why doesn't C have an actual, formal semantic model? "Furthermore, we argue that the C standard does not allow Turing complete implementations, and that its ev

Why doesn't C have an actual, formal semantic model? "Furthermore, we argue that the C standard does not allow Turing complete implementations, and that its evaluation semantics does not preserve typing. Finally, we claim that no strictly conforming programs exist. That is, there is no C program for which the standard can guarantee that it will not crash." [1] Maybe someone should file a defect report. [1] https://pdfs.semanticscholar.org/6237/6bcf5e1b55abcaa301b9c8d0f0062b2cba27.pdf https://pdfs.semanticscholar.org/6237/6bcf5e1b55abcaa301b9c8...