Las conexiones de Galois se pueden usar para describir muchas formas de abstracción en la teoría de interpretación abstracta de lenguajes de programación.