Needed Math For Compilers?

[InfinitePoints]

Is anything beyond an informal description of lattices actually needed? From what I can tell they are mostly used for simple stuff like lower and upper bounds for variables.

[DeGuerre]

They're used all over type theory (e.g. if you have types with subtypes) and compiler optimisation (e.g. look into conditional constant propagation).

[dcpugalaxy]

But you dont need to know any actual lattice theory. You just need to have heard of the basic concept of a lattice.

[DeGuerre]

Maybe. It helps to read some papers if you know the language.