GoKawiilLWN discusses efforts to curb undefined behavior in C standard
An LWN.net article recounts a talk explaining why undefined behavior exists in C and how the language's standard, dating back to C89, was built around an abstract machine model to accommodate diverse historical hardware. The speaker outlined C's enduring strengths—portability, fast compilation, predictable binaries—while detailing how the standard only guarantees 'observable' behavior, leaving much else open to compiler implementers.