It's possible that all this research in programming language safety, specification, static analysis that most of us have been safely ignoring for the past... we

It's possible that all this research in programming language safety, specification, static analysis that most of us have been safely ignoring for the past... well, forever... will finally become a staple requirement, instead of programming itself.