Types and Static Semantic Analysis

@inproceedings{Edwards2007TypesAS,
  title={Types and Static Semantic Analysis},
  author={Stephen A. Edwards},
  year={2007}
}
What is a type? A restriction on the possible interpretations of a segment of memory or other program construct. Useful for two reasons: Runtime optimization: earlier binding leads to fewer runtime decisions. E.g., Addition in C efficient because type of operands known. Error avoidance: prevent programmer from putting round peg in square hole. E.g., In Java, can't open a complex number, only a file. No: many languages operate just fine without them. Assembly languages usually view memory as… CONTINUE READING