Lecture 10. Types and Type Checking

constructs (more constraints added to checking the validity of the programs, violation of such constraints indicate errors) I A languages type system speci es which operations are valid for ... In another word: There is a tradeo between I Flexible rules that do not constrain programming I Restrictive rules that ensure safety of execution. ................
................

In order to avoid copyright disputes, this page is only a partial summary.