how to apply separation logic "lookup" rule

159 views Asked by At

how can I apply rules of separation logic to find a post condition for the following program? ​

k=con(0);  
if(k is even)        
    then i=con(1);        
    else i=con(2);  
j=[i];​
0

There are 0 answers