> What has stopped people from creating a standard with no undefined behavior? It's a lot of work. > Is such a thing impossible? Have people done it? It's po

> What has stopped people from creating a standard with no undefined behavior? It's a lot of work. > Is such a thing impossible? Have people done it? It's possible; Ada has a really good take -- in that standard, there's a class of errors called "bounded errors" which on the surface look like "undefined behavior", but are a lot different in that they list out the possible results and thus preclude the "nose demons" problem of C -- see: http://www.ada-auth.org/standards/2xaarm/html/AA-1-1-5.html http://www.ada-auth.org/standards/2xaarm/html/AA-1-1-5.html