Computers Will Assist Programmers To Understand & Modify Their Programs – Says Hoare

Sir Charles Antony Richard Hoare is a priciple researcher in the microsoft in cambridge.He reworked for the  famous "Turing test" for programmers.peaking at Alan Turing Centenary Conference in Manchester, Sir Hoare said that in the next 50 years time, a computer will be able understand its own program and assist the programmer to make changes and improvements in it. So, according to his predictions this new engineering version of the Turing Test will enable interactive environment for the programmer where the machine will examine the user’s program. This means that the programmer can practically ask questions to the computer.
                                                            Currently efforts are being made so that the computers not only demonstrate mathematical proofs but generate them also. Citing the FlySpeck project, he said that it is an attempt to prove the Kepler conjecture on the most efficient packing of spheres. Hoare further makes clear that the term ‘understanding’ doesn’t mean that the computer can reflect on the meaning of the program, the way a human does. And it goes without saying that there will always be some questions that a computer won’t be able to answer.