Types

• Type systems fit into the definition of analysis we’re using

• These systems are intended to eliminate some classes of errors in programs

  • Programs in a language are analyzed and ones that don’t pass type checking are considered illegal programs (static typing)
  • During execution checks are made to ensure that bit representations are never misinterpreted (dynamic typing)

Previous slide

Next slide

Back to first slide

View graphic version