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.

-----
CategoryAnalysis | Contributions by Main.EelcoVisser