Roast topics
Find topics
Roast it!
Roast topics
Find topics
Find it!
Login
From:
danilafe.com
(Uncensored)
subscribe
Implementing and Verifying "Static Program Analysis" in Agda, Part 1: Lattices
https://danilafe.com/blog/01_spa_agda_lattices/
links
backlinks
In this post, I introduce an algebraic structure called a lattice, which underpins certain program analyses
