Tools

• Static vs. dynamic

  • Complementary

• Finding bugs vs. improving performance

• Program representations

  • Affect precision and performance

• Partial specifications

  • You get some benefit for small cost

• Inference to reduce programmer effort

  • Type, dynamic

Previous slide

Back to first slide

View graphic version