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

Revision as of 03:07, 11 February 2022 (view source) Benkoo (talk \| contribs) ← Older edit		Latest revision as of 07:45, 23 May 2022 (view source) Benkoo (talk \| contribs)
Line 1:		Line 1:
	The three terms, [[Sound\|Soundness]], [[Precision\|Precision]], and [[Terminability\|Terminability]] are ~~key metrics~~ that grounds the work in [[Abstract Interpretation]].		The three terms, [[Sound\|Soundness]], [[Precision\|Precision]], and [[Terminability\|Terminability]] are crucial properties that grounds the work in [[Abstract Interpretation]].

	<noinclude>		<noinclude>