A²I

From PKC
Jump to navigation Jump to search

A²I is the higher order abstract interpretation created by Patrick Cousot[1].

References

  1. ↑ Cousot, Patrick (Mar 4, 2019). A²I: Abstract² Interpretation. local page: POPL 2019. 

Related Pages


Retrieved from "https://pkc.pub/index.php?title=A²I&oldid=38185"