Semantics of Termination
Patricia Peratto · CLEI electronic journal · 2007
This work presents proof rules for termination and non-termination for a subset of a C-like language that consists of the statements : assignation,composition, if, skip and while and rules for termination of function calls.