Login
From:
Posts on Daniel's Blog
(Uncensored)
subscribe
Implementing and Verifying "Static Program Analysis" in Agda, Part 8: Forward Analysis
https://danilafe.com/blog/08_spa_agda_forward/
links
backlinks
Roast topics
Find topics
Find it!
In the previous post, I showed that the Control Flow graphs we built of our programs match how they are really executed.
