Симпозиум по принципам языков программирования
 | В этой статье есть несколько проблем. Пожалуйста, помогите улучшить его или обсудите эти проблемы на странице обсуждения . ( Узнайте, как и когда удалять эти шаблонные сообщения )
|
Ежегодный симпозиум ACM SIGPLAN - SIGACT по принципам языков программирования ( POPL ) — это научная конференция в области информатики , посвященная фундаментальным принципам проектирования, определения, анализа и реализации языков программирования, систем программирования и программирования. интерфейсы. Мероприятие спонсируется совместно двумя группами по специальным интересам Ассоциации вычислительной техники : SIGPLAN и SIGACT .
POPL занимает позицию A* (4% лучших) в рейтинге конференций CORE. [1]
Материалы конференции размещены в цифровой библиотеке ACM . Изначально они находились под платным доступом , но с 2017 года публикуются в открытом доступе в рамках журнала Proceedings of the ACM on Programming Languages (PACMPL).
Дочерние мероприятия
[ редактировать ]- Декларативные аспекты многоядерного программирования (DAMP)
- Основы и развитие объектно-ориентированных языков (FOOL/WOOD)
- Частичная оценка и манипулирование программой на основе семантики (PEPM)
- Практическое применение декларативных языков (PADL)
- Технологии языка программирования для XML (PLAN-X)
- Типы в языковом проектировании и реализации (TLDI)
- Верификация, проверка модели и абстрактная интерпретация (VMCAI)
- Языки вывода (LAFI)
См. также
[ редактировать ]- Международная конференция по функциональному программированию (ICFP)
- Проектирование и реализация языков программирования (PLDI)
- POPLmark вызов
Ссылки
[ редактировать ]- ^ «ОСНОВНАЯ страница рейтинга POPL» . Архивировано из оригинала 05 февраля 2019 г. Проверено 5 февраля 2019 г.
