6 results about "Type checking" patented technology

Type checking is a program analysis that verifies something about the types that are used in the program. In the strictest sense, the sense found in programming language analysis conferences, the analysis verifies (when it is successful) that the analyzed program will not have type errors when it executes (i.e. it will be TypeSafe).