Predicate transformer semantics is the starting point of refinement calculus [1]}, and is also commonly used in abstract interpretation – see [2]} for a discussion of weakest liberal precondition in relation to abstract interpretation.

Семантика трансформаторов предикатов является отправной точкой для исчисления рефайнмента [1]}, и также широко используется в абстрактной интерпретации - см. [2]} для обсуждения наиболее слабой предусловии в связи с абстрактной интерпретацией.