dsimcha wrote:
What about threading? I can't see how you could statically prove that a multithreaded program did not have any undefined behavior, especially before shared is fully implemented.
We definitely have more work to do on the threading model, but I don't think it's an insurmountable problem. I also don't think thinks like race conditions are undefined behavior.
