Difference between revisions of "Soundness, Precision, and Terminability"
Jump to navigation
Jump to search
(Created page with "The three terms, Soundness, Precision, and Terminability are key ideas that grounds the work in Abstract Interpretation.") |
|||
| (4 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
The three terms, [[Sound|Soundness]], [[Precision|Precision]], and [[Terminability|Terminability]] are | The three terms, [[Sound|Soundness]], [[Precision|Precision]], and [[Terminability|Terminability]] are crucial properties that grounds the work in [[Abstract Interpretation]]. | ||
<noinclude> | |||
=References= | |||
<references /> | |||
[[Category:Logic Model]] [[Category:Abstract Interpretation]] | |||
</noinclude> | |||
Latest revision as of 07:45, 23 May 2022
The three terms, Soundness, Precision, and Terminability are crucial properties that grounds the work in Abstract Interpretation.
References