Abstract interpretation

pair of adjoint functors between two preordered sets seen as categories

approach to static program analysis

static code analysis technique