Difference between revisions of "Terminability"
Jump to navigation
Jump to search
(Created page with "Terminability is a quality that indicates whether certain decision procedures can be fully conducted before time, memory space, and uncertainty resources run out.") |
|||
| (5 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= | |||
{{:Soundness, Precision, and Terminability}} | |||
<noinclude> | |||
=References= | |||
<references /> | |||
==Related Pages== | |||
[[Definition::Metrics]] | |||
[[Category:Abstract Interpretation]] | |||
</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.