z8 := zo z2
z8 := zo z2
z8 := zo z2
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
© © £ ¡¢¡£ ¥ ¦ © £¤£ ¤© <br />
acyclic control flow<br />
unrestricted 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 />
P<br />
P<br />
Sharir & Pnueli [68]<br />
Co-NP hard<br />
Knoop & Rüthing [7]<br />
P<br />
P P<br />
P<br />
Sharir & Pnueli [68]<br />
undecidable<br />
Hecht [24]<br />
single value<br />
May-Constants<br />
multiple value<br />
NP-complete<br />
Muth & Debray [53]<br />
PSPACE-compl.<br />
Muth & Debray [53]<br />
<br />
<br />
<br />
¦¦ <br />
<br />
¨ <br />
<br />
¦¥§ ¨§© ¥ ¦ <br />
¡<br />
¨ ¤ <br />
<br />
§© <br />
<br />
¨ <br />
<br />
¨ <br />
<br />
<br />
<br />
<br />
<br />
¨¦ <br />
<br />
<br />
<br />
§¦ ¨¦<br />
<br />
<br />
<br />
<br />
<br />
¦