Terms for subject Programming containing program semantics

English	Russian
describing the meanings of programs: dynamic semantics	описание смысла программ: динамическая семантика (ssn)
semantics of logic programs	семантика логических программ (ssn)
working program with equivalent semantics	работоспособная программа с эквивалентной семантикой (ssn)