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.") |
|||
| Line 1: | Line 1: | ||
The three terms, [[Sound|Soundness]], [[Precision|Precision]], and [[Terminability|Terminability]] are key ideas that grounds the work in [[Abstract Interpretation]]. | The three terms, [[Sound|Soundness]], [[Precision|Precision]], and [[Terminability|Terminability]] are key ideas that grounds the work in [[Abstract Interpretation]]. | ||
<noinclude> | |||
=References= | |||
[[Category:Logic Model|Abstract Interpretation]] | |||
</noinclude> | |||
Revision as of 08:54, 19 July 2021
The three terms, Soundness, Precision, and Terminability are key ideas that grounds the work in Abstract Interpretation.