Difference between revisions of "Terminability"
Jump to navigation
Jump to search
| (3 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
Terminability is a quality that indicates whether | [[Terminability]] is a quality that indicates whether decisions can be reached before resources run out. Whether some decision procedures are terminable or not is often assessed by using a well-defined [[namespace]], often known as [[state space]]. By assessing whether a namespace is finite or not, terminability could be inferred from the assessment. | ||
=The Soundness, Precision, and Terminability Trio= | =The Soundness, Precision, and Terminability Trio= | ||
| Line 9: | Line 9: | ||
==Related Pages== | ==Related Pages== | ||
[[Definition::Metrics]] | [[Definition::Metrics]] | ||
[[Category:Abstract Interpretation]] | |||
</noinclude> | </noinclude> | ||
Latest revision as of 08:05, 23 May 2022
Terminability is a quality that indicates whether decisions can be reached before resources run out. Whether some decision procedures are terminable or not is often assessed by using a well-defined namespace, often known as state space. By assessing whether a namespace is finite or not, terminability could be inferred from the assessment.
The Soundness, Precision, and Terminability Trio
The three terms, Soundness, Precision, and Terminability are crucial properties that grounds the work in Abstract Interpretation.