Program analysis is the (automated) inspection of a program to infer some property. Program analysis is needed for most kinds of ProgramTransformation and can range from simple local properties in PatternMatching to more complicated global properties in DeadCodeElimination?.

Tools for program analysis

Analysis paradigms

CategoryAnalysis | Contributions by EelcoVisser

Revision: r1.1 - 09 May 2001 - 21:56 - EelcoVisser
Transform > ProgramAnalysis
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback