@dalias C and C++ solve this by littering the spec with so many landmines that no one can write a “correct to the spec” program. Newer languages solve it by simply not having a spec.
Fortran and COBOL remain undefeated as the only widely-used serious languages.