Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

Turing’s 1949 Paper in Context

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD

Downloads

Licence

This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License (CC BY-NC 4.0).

Abstract

© Springer International Publishing AG 2017. Anyone who has written one knows how frustratingly difficult it can be to perfect a computer program. Some of the founding fathers of computing set out ideas for reasoning about software — one would say today ‘techniques for proving that a program satisfies its specification’. Alan Turing presented a paper entitled Checking a Large Routine that laid out a workable method for reasoning about programs. Sadly his paper had little impact. Understanding the problem faced, Turing’s proposal and what followed provides insight into how ideas evolve. Comparing three contributions from the 1940s with the current state of the art clarifies a problem that still costs society a fortune each year.

Publication metadata

Author(s): Jones CB

Editor(s): Jarkko Kari, Florin Manea, Ion Petre

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 13th Conference on Computability in Europe (CiE 2017)

Year of Conference: 2017

Pages: 32-41

Online publication date: 12/05/2017

Acceptance date: 02/04/2016

Date deposited: 22/11/2017

ISSN: 0302-9743

Publisher: Springer Verlag

URL: https://doi.org/10.1007/978-3-319-58741-7_4

DOI: 10.1007/978-3-319-58741-7_4

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783319587400

Share