Scaling

• Technology

  • many program points
  • large data structures
  • solution: next slide

• Utility

  • many program points
  • different invariants
  • different uses
  • solution: experiments, case studies

Previous slide

Next slide

Back to first slide

View graphic version