Types
Types. Definition. A type is a set V of values, and a set O of operations onto V . Examples from C++: The int type: V = {INT_MIN, ... -1, 0, 1, ..., INT_MAX-1, INT_MAX} O = {<<, >>, +, -, *, /, %, =, ++, --, ...} The char type:
873 views • 66 slides