|
|
|
|
|
|
by amckinlay
2772 days ago
|
|
|
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/6bcf5e1b55abcaa301b9c8... |
|
|