CSCE 314 Lecture 22
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.