Terms containing program semantics

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