Adaptive correction of program statements

  • Authors:
  • E. B. James;D. P. Partridge

  • Affiliations:
  • Imperial College of Science and Technology, London, UK;Imperial College of Science and Technology, London, UK

  • Venue:
  • Communications of the ACM
  • Year:
  • 1973

Quantified Score

Hi-index 48.25

Visualization

Abstract

A method of analyzing statements in a programming language which can tolerate a considerable inaccuracy in their specification is proposed. This method involves principles at present mainly confined to studies in the area of artificial intelligence such as feature extraction, approximate tree matching, and strategy improvement by feedback from the matching process. A pilot program incorporating the principles is described and preliminary operating results are presented. A final section surveys further principles which are currently being investigated.