Stav dette: Универсальные языки программирования. Семантический подход