Depressing and faintly terrifying days for the C standard [pdf]
Chris Lattner, the architect of the Clang/LLVM C compiler explained the effects of the C standard’s “undefined behavior”(UB):
Draft standards C89 The ANSI standard. C23 the most recent draft. Notes and quotes on C standard. Three modest proposals for fixing the C standard.
Visit yodaiken.com → RSS feedOn Hacker News May 2018 – May 2021
Programming Languages 3Systems & Performance 2Software Engineering 1Math & Algorithms 1History & Retro Computing 1
Chris Lattner, the architect of the Clang/LLVM C compiler explained the effects of the C standard’s “undefined behavior”(UB):
Considering how important “undefined behavior” has become to C semantics and the ISO/IEC JTC1/SC22/WG14 Committee, the lack of any reference to it in the K&R ANSI book is notable and the description in the 1999 C Rationale was quite modest.
See also Dennis Ritchie on aliasing, PLOS article , pointer alias in C and remarks on the purpose of C.
These remarks from “THE GENERAL AND LOGICAL THEORY OF AUTOMATA” 1947 are enormously insightful – no surprise. Von Neumann essentially predicts the emergence of the field of analysis of algorithms and algorithmic complexity. Not only does he point out the importance of understanding how many steps it will take to carry…