Type Based Analysis

Program-Transformation.Org: The Program Transformation Wiki

Type-based program analysis is a form of ProgramAnalysis in which type information is used to infer properties of a program.

JensPalsberg, Type-Based Analysis and Applications. Invited paper for PASTE'01 http://www.cs.purdue.edu/homes/palsberg/tba/ Gives a survey of the literature on type-based analysis.