In this post, I describe the class of finite-height lattices, and prove that lattices we've alread seen are in that class| danilafe.com
In this post, I describe how lattices can be combined to create other, more complex lattices| danilafe.com
In this post, I give a top-level overview of my work on formally verified static analyses| danilafe.com