• DocumentCode
    1215442
  • Title

    The early search for tractable ways of reasoning about programs

  • Author

    Jones, Cliff B.

  • Author_Institution
    Univ. of Newcastle-upon-Tyne, UK
  • Volume
    25
  • Issue
    2
  • fYear
    2003
  • Firstpage
    26
  • Lastpage
    49
  • Abstract
    This article traces the history - up to around 1990 - of research on reasoning about programs. The main focus is on sequential imperative programs but some comments are made on concurrency. The main thesis is that the idea of reasoning about programs has been around since they were first written; the search has been to find tractable methods.
  • Keywords
    history; program verification; programming theory; Turing machine; concurrency; history; program verification; reasoning about programs; sequential imperative programs; testing; Automatic control; Automatic logic units; Concurrent computing; Flowcharts; Mathematics; Proposals; Reasoning about programs;
  • fLanguage
    English
  • Journal_Title
    Annals of the History of Computing, IEEE
  • Publisher
    ieee
  • ISSN
    1058-6180
  • Type

    jour

  • DOI
    10.1109/MAHC.2003.1203057
  • Filename
    1203057
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=1215442