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
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.
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
