In this post, I introduce an algebraic structure called a lattice, which underpins certain program analyses| danilafe.com
