caroline mbatau

proof of termination addresses the question of whether a program will run or terminate could anyone please give me more details on this please