• Класифікатори
• 004.423 Синтаксис і семантика програм

004.423.4 Програмні семантики

Підтеми:

• 004.423.42 Операційні семантики
• 004.423.43 Денотаційні семантики
• 004.423.45 Алгебраїчні семантики
• 004.423.46 Аксіоматичні семантики