Select your answer and click the button below:    
Question7:  
  N = 1; S = <17, 27, 37 >;  
 

Operation MyOp (updates S: Stack;
                              evaluates N: Integer);        

 

requires: |S| < Max_Depth;
ensures: S = #S o <11>;

  After MyOp executes the values are:
   
  S = <37, 27, 17, 11 >; N = 0;
S = Λ; N = 1;
S = <17, 27, 37, 11 >; N = 1;
S = <11, 17, 27, 37>; N is unknown;