Доклад
- Когда и где
-
1 апреля 2024 г. 15:00, понедельник
Актовый зал ИММ УрО РАН
- Докладчики
-
-
Название
-
Синтаксис, семантика и прагматика языков программирования. Современный взгляд
-
Аннотация
-
Сейчас активно развиваются разнообразные языки программирования. От широко известных: C++, Rust, Java, Kotlin, Python - до специфичных: Church, Mathematica, Julia, Coq. На первый взгляд может показаться, что разнообразие велико и что языки уникальны, но современная наука о языках программирования позволяет дать достаточно универсальные описания этих языков на нескольких уровнях.
1. Уровне конкретного синтаксиса.
2. Уровне динамической семантики.
3. Уровне статической семантики.
4. Уровне прагматики.
В докладе будет представлен обзор формализмов, применяемых для работы с языками программирования.
Основной источник: F. Turbak et al. Design Concepts in Programming Languages
-
Презентация
-
-
Ссылка на видео
-
-
Видео
-
Вернуться к списку новостей