Abstract Induction

From PKC
Jump to navigation Jump to search

Abstract Induction[1] a field also created by Patrick Cousot and is derived from Abstract Interpretation.


References

  1. ↑ Cousot, Patrick (Oct 13, 2015). Abstract Induction - Patrick Cousot. local page: ETH WSCR. 

Related Pages


Retrieved from "https://pkc.pub/index.php?title=Abstract_Induction&oldid=37787"