CS代考 Week 2 PBL: Exercises

Week 2 PBL: Exercises

1. What is the tightest (min,max) integer bounds for each node of this TIP program?

Copyright By PowCoder代写 加微信 powcoder

TIP Program

if (x>0) { #
(-inf, +inf)

y = 10*x;#

(-inf, +inf)

(-inf, +inf)

return y;#

2. Now: What are the tightest abstract ‘Sign’ values we can give to each variable?

TIP Program

if (x>0) {
(-inf, +inf)

3. Simplify the Sign constraints on Slide 21 to find the final Sign of c?

程序代写 CS代考 加微信: powcoder QQ: 1823890830 Email: powcoder@163.com