CSCE 314 Lecture 22

From Notes
Jump to navigation Jump to search

« 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.