12 Intended Functions Intended function: function describing our intention of code  Specification for the code Code function: function computed by code  Actual behavior implemented by the code // [sum, i := sum +  j=1 a.length-1 a[j], anything] while (i < a.length) { sum += a[i]; i++; } Don't care about the final value.
{}