Program termination: Difference between revisions