transformational semantics

преобразовательная семантика (выражение определённых языковых конструкций в терминах других конструкций при преобразовании программ)