Limit comparisons

• Check relations only over comparable variables

  • declared program types
  • Lackwit [O’Callahan]

Previous slide

Next slide

Back to first slide

View graphic version