bn:03531836n
Noun Concept
SYL
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
STUDIES