The Mathematics of Dataflow Analysis: Lattices, Fixpoints, and Semirings
When building a dataflow analysis framework in a compiler, you quickly encounter an array of mathematical terms: semilattices, semirings, Kleene algebras, Galois connections, and Knaster-Tarski fix...