PRECONDITION: A is a list of integers (- ℕ
POSTCONDITION: return |A|
def len_list(A):
1. if not A:
2. return 0
3. else:
4. return len_list(A[1:]) + 1

Prove correctness of len_list with respect to the given
specification.

Question

PRECONDITION: A is a list of integers (- ℕ
POSTCONDITION: return |A|
def len_list(A):
1. if not A:
2.    return 0
3. else:
4.    return len_list(A[1:]) + 1

Prove correctness of len_list with respect to the given
specification.

anonymous · Answer

(- means belongs

anonymous · Answer

kanwar stop trying to cheat. this is not a place to have people do your homework.

anonymous · Answer

this is not homework, I tried this ques and did it, this it to test your knowledge, I hope m making myself clear

anonymous · Answer

if not then flutter OFF.