Lattices and the associated Galois connections are used quite a bit in the Abstract Interpretation school of program analysis [1]. [1]: https://en.wikipedia.or

Lattices and the associated Galois connections are used quite a bit in the Abstract Interpretation school of program analysis [1]. [1]: https://en.wikipedia.org/wiki/Abstract_interpretation https://en.wikipedia.org/wiki/Abstract_interpretation