Termination analysis (Q7702793)
Jump to navigation
Jump to search
form of program analysis in computer science
Language | Label | Description | Also known as |
---|---|---|---|
English | Termination analysis |
form of program analysis in computer science |
Statements
Identifiers
Sitelinks
Wikipedia(2 entries)
- enwiki Termination analysis
- frwiki Terminaison d'un algorithme