Soundness, Precision, and Terminability

From PKC

Jump to navigation Jump to search

The three terms, Soundness, Precision, and Terminability are crucial properties that grounds the work in Abstract Interpretation.

References

Retrieved from "https://pkc.pub/index.php?title=Soundness,_Precision,_and_Terminability&oldid=30994"