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.


CategoryAnalysis | Contributions by EelcoVisser