So, really, all we need then is a language sufficiently precise enough to specify what a program needs to do and we can then feed it into a program which can write software that implements that specification, possibly adopting safe transformations of it into equivalent forms.
Now, that safely describes a modern, optimizing C compiler.....
No comments yet.