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.") |
|||
| Line 1: | Line 1: | ||
Terminability is a quality that indicates whether certain decision procedures can be fully conducted before time, memory space, and uncertainty resources run out. | Terminability is a quality that indicates whether certain decision procedures can be fully conducted before time, memory space, and uncertainty resources run out. | ||
=The Soundness, Precision, and Terminability Trio= | |||
{{:Soundness, Precision, and Terminability}} | |||
Revision as of 04:30, 19 July 2021
Terminability is a quality that indicates whether certain decision procedures can be fully conducted before time, memory space, and uncertainty resources run out.
The Soundness, Precision, and Terminability Trio
The three terms, Soundness, Precision, and Terminability are crucial properties that grounds the work in Abstract Interpretation.