Семантика (информатика)

• Семантика в теории языков программирования является строгим математическим исследованием значений языков программирования. 
• Семантика тесно связана с семантикой математических доказательств и часто пересекается с ней. 
• Семантика описывает процессы, которым следует компьютер при выполнении программы на конкретном языке. 
• История формальной семантики началась с работы Роберта У. Флойда в 1967 году. 
• Область формальной семантики охватывает определение семантических моделей, отношения между различными семантическими моделями и связь между вычислениями и математическими структурами. 
• Существует множество подходов к формальной семантике, включая денотационную, операционную и аксиоматическую семантику. 
• Вариации формальной семантики включают семантику действий, алгебраическую семантику, атрибутивные грамматики и категориальную семантику. 
• Описание взаимосвязей между различными формальными семантиками может быть полезным для доказательства соответствия и моделирования между различными системами.