MAYBE 0.09/0.18 MAYBE 0.09/0.18 0.09/0.18 Problem: 0.09/0.18 le(0(),Y) -> true() 0.09/0.18 le(s(X),0()) -> false() 0.09/0.18 le(s(X),s(Y)) -> le(X,Y) 0.09/0.18 app(nil(),Y) -> Y 0.09/0.18 app(cons(N,L),Y) -> cons(N,app(L,Y)) 0.09/0.18 low(N,nil()) -> nil() 0.09/0.18 low(N,cons(M,L)) -> iflow(le(M,N),N,cons(M,L)) 0.09/0.18 iflow(true(),N,cons(M,L)) -> cons(M,low(N,L)) 0.09/0.18 iflow(false(),N,cons(M,L)) -> low(N,L) 0.09/0.18 high(N,nil()) -> nil() 0.09/0.18 high(N,cons(M,L)) -> ifhigh(le(M,N),N,cons(M,L)) 0.09/0.18 ifhigh(true(),N,cons(M,L)) -> high(N,L) 0.09/0.18 ifhigh(false(),N,cons(M,L)) -> cons(M,high(N,L)) 0.09/0.18 quicksort(nil()) -> nil() 0.09/0.18 quicksort(cons(N,L)) -> app(quicksort(low(N,L)),cons(N,quicksort(high(N,L)))) 0.09/0.18 0.09/0.18 Proof: 0.09/0.18 Open 0.09/0.18 EOF