CSCE 314 Lecture 22

« previous | Monday, October 17, 2011 | next »

Types

• Machine interpretation of variables are just sequences of bits
• 0100 0000 0101 1000 0000 0000 0000 0000
  • float 3.375
  • int 1079508992
  • short 16472; short 0
  • char '@'; char 'X'; char NUL; char NUL

Many programming languages support type checking at compile-time, but they do not catch all meaningless programs.

Ideally, it is possible to detect meaningless programs, but static analysis by the compiler cannot detect dynamic type errors.