Browse by author
Lookup NU author(s): Emeritus Professor Cliff JonesORCiD
Modern society relies heavily on computer programs or 'software'. Nearly everyone is aware that software sometimes malfunctions – it has 'bugs'. In a little known paper from 1949, Alan Turing described a technique for Checking a Large Routine; this paper might have accelerated the development of the subject of reasoning about software by decades, but sadly this gem from Turing had little impact. The current paper sets out the challenge to which Turing was responding, compares his proposals to those that came in the late 1960s, reflects on the missing impact and offers a summary of the state of the art.
Author(s): Jones CB
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2014
Pages: 14
Print publication date: 01/12/2014
Report Number: 1441
Institution: School of Computing Science, University of Newcastle upon Tyne
Place Published: Newcastle upon Tyne
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1441.pdf
