Test for (IN) equality, subtraction, proof of correctness

  • Authors:

  • Charles B. Dunham

  • Affiliations:

  • The University of Western Ontario, London, Ontario, Canada

  • Venue:
  • ACM SIGNUM Newsletter
  • Year:
  • 1986

Quantified Score

Hi-index 0.00

Visualization

Abstract

As normally implemented, (in)equality tests such as "a