Difference between revisions of "Soundness, Precision, and Terminability"
Jump to navigation
Jump to search
| (One intermediate revision 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> | <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