Языки программирования и компиляторы — 2017

Ростов-на-Дону, Россия

Тематика

Тематика конференции включает, но не ограничивается следующими областями интересов:

  • Языки программирования: функциональные, логические, объектно‑ориентированные, скриптовые, визуальные.

  • Технологии программирования. Обобщённое программирование, порождающее программирование, программирование по контракту. Сквозная функциональность, расслоённое программирование, аспектно‑ориентированное программирование. Аспектная разметка кода.

  • Генерация и преобразования программ, рефакторинг. DSL‑языки.

  • Формальная семантика и теоретические основы языков программирования, в том числе денотационная, операционная, аксиоматическая и категорная семантики.

  • Анализ и верификация программ, в том числе системы типов, статический анализ, абстрактная интерпретация.

  • Реализация языков программирования. Компиляторы: синтаксический и семантический анализ, внутреннее представление, автоматическая оптимизация. Компиляторы для гибридных и параллельных архитектур. Системы поддержки исполнения программ.

  • Интегрированные среды разработки, инструментарий для программирования.