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