LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
sav08:sign_analysis_of_expressions_and_programs [2008/05/07 23:16]
giuliano
sav08:sign_analysis_of_expressions_and_programs [2008/05/07 23:18]
giuliano
Line 52: Line 52:
 \end{tabular} \end{tabular}
 $ $
 +
  
 ===== Sign Analysis of Programs ===== ===== Sign Analysis of Programs =====
Line 71: Line 72:
 </​code>​ </​code>​
  
-Abstract state: map each variable to element of $A$.+Abstract state: map each variable to element of $A$. Here we have $|A|^3$ possible states.
  
   * computation over control-flow graph   * computation over control-flow graph