Login
From:
Posts on Daniel's Blog
(Uncensored)
subscribe
Implementing and Verifying "Static Program Analysis" in Agda, Part 5: Our Programming Language
https://danilafe.com/blog/05_spa_agda_semantics/
links
backlinks
In the previous several posts, I’ve formalized the notion of lattices, which are an essential ingredient to formalizing the analyses in Anders Møller’s lecture notes.
Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Roast topics
Find topics
Find it!
