I see a future where we tell the computer, a kind of super-compiler, what we want to achieve. The input is our specification, and the output is a complete and tested system. All we have to do is specify, verify and then push the deploy button.
Hans-Eric Grönlund, The Extinction of Programmers
Any sufficiently detailed specification language is indistinguishable from source code.