bn:03531836n
Noun Concept
EL
No term available
EN
In computer science, termination analysis is program analysis which attempts to determine whether the evaluation of a given program halts for each input. Wikipedia
Relations
Sources