Title: Automatic termination analysis for functional and imperative programs
Subjects: Computer programs, Mathematics, Functional programming (Computer science), Testing, Termination