Difference between revisions of "Soundness, Precision, and Terminability"
Jump to navigation
Jump to search
| Line 3: | Line 3: | ||
<noinclude> | <noinclude> | ||
=References= | =References= | ||
<references /> | |||
[[Category:Logic Model]] [[Category:Abstract Interpretation]] | [[Category:Logic Model]] [[Category:Abstract Interpretation]] | ||
</noinclude> | </noinclude> | ||
Revision as of 14:07, 27 July 2021
The three terms, Soundness, Precision, and Terminability are key ideas that grounds the work in Abstract Interpretation.
References