Login
From:
Posts on Daniel's Blog
(Uncensored)
subscribe
Implementing and Verifying "Static Program Analysis" in Agda, Part 9: Verifying the Forward Analysis
https://danilafe.com/blog/09_spa_agda_verified_forward/
links
backlinks
Roast topics
Find topics
Find it!
In the previous post, we put together a number of powerful pieces of machinery to construct a sign analysis. However, we still haven’t verified that this analysis produces correct results.
