Revision as of 01:40, 3 December 2008 edit Dcoetzee (talk \| contribs) 37,529 edits Description of how it works ← Previous edit		Revision as of 01:42, 3 December 2008 edit undo Dcoetzee (talk \| contribs) 37,529 edits →The analysis Next edit →
Line 19: == The analysis == The following is based on Fruja's formalization of the C# intraprocedural (single method) definite assignment analysis, which is responsible for ensuring that all local variables are assigned before they are used.<ref name="fruja"/> It simultaneously does definite assignment analysis and [[constant propagation]] of boolean values. We define five static functions: {\|class="wikitable"

Definite assignment analysis: Difference between revisions