| Subject | English | Russian |
| ed. | different approaches to formal semantics | различные подходы к определению формальной семантики (ssn) |
| tech. | formal semantic language | формальный семантический язык |
| IT | formal semantics | формальная семантика |
| progr. | formal semantics | модель программы (модель, построенная с помощью анализа исходного кода; синоним: формальная семантика; русс. перевод взят из: Кривчиков М.А. Формальные модели и верификация свойств программ с использованием промежуточного представления Alex_Odeychuk) |
| progr. | formal semantics for timed automata | формальная семантика временных автоматов (ssn) |
| progr. | formal semantics for timed automata in terms of infinite state transition graphs | формальная семантика временных автоматов в терминах графов переходов с бесконечным числом состояний (ssn) |
| ed. | importance of formal semantics | важность формальной семантики (ssn) |
| ed. | overview of formal semantics | обзор формальной семантики (ssn) |
| math. | semantic-formal language | семантически формальный язык |