Modification of Aho and Ullman's correctness proof of Warshall's algorithm

  • Authors:

  • Peter Wegner

  • Affiliations:

  • Brown University

  • Venue:
  • ACM SIGACT News
  • Year:
  • 1974

Quantified Score

Hi-index 0.00

Visualization

Abstract

Aho and Ullman's correctness proof of Warshall's algorithm (ref. 1, p. 48) is obscure and at one point incorrect. A modified version of this proof is presented.