z8 := zo z2
z8 := zo z2
z8 := zo z2
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
© © © £ ¡ ¥ ¡ <br />
unrestricted control flow acyclic control flow<br />
Copy Constants<br />
Linear Constants<br />
Presburger Constants<br />
+,-,* Constants<br />
Full Constants<br />
Copy Constants<br />
Linear Constants<br />
Presburger Constants<br />
+,-,* Constants<br />
Full Constants<br />
Must-Constants<br />
Co-NP compl.<br />
PSPACE-hard<br />
single value<br />
NP-hard<br />
May-Constants<br />
multiple value<br />
NP complete<br />
undecidable<br />
PSPACE-compl.<br />
<br />
¡¡ § § ¦ £ © <br />
£¦<br />
©¢¡ <br />
¢¡¢¡ £ <br />
<br />
<br />
<br />
<br />
¦ ¦¨ §¦ <br />
<br />
¨¦ ¨ <br />
<br />
¨ <br />
<br />
¨<br />
<br />
¨ <br />
<br />
<br />
<br />
<br />
<br />
¦