PPDP

• Название: International Symposium on Principles and Practice of Declarative Programming
• Перевод: Международный симпозиум по принципам и практике декларативного программирования
• Статус: симпозиум

Тематика

• Функциональное программирование
• Логическое программирование
• Программирование множеств ответов
• Программирование в функциональной логике
• Декларативные визуальные языки
• Правила обработки связывающих условий
• Параллелизм и параллельная реализация
• Монады, классы типов и зависимая типизация
• Декларативные предметно-ориентированные языки
• Завершение, анализ ресурсов и верификация декларативных программ
• Преобразования и частичное вычисление декларативных языков
• Языковые расширения для безопасности
• Вероятностное моделирование в декларативном языке и реактивность моделирования
• Управление памятью и реализация декларативных систем
• Практические отчёты и индустриальные приложения

Архив

• PPDP 2013 (Испания, Мадрид)
  • 15th International Symposium on Principles and Practice of Declarative Programming
  • Сайт
  • Совместно с: LOPSTR
• PPDP 2012 (Бельгия, Лёвен)
  • 14th International Symposium on Principles and Practice of Declarative Programming
  • ! • DBLP • Сборник трудов
  • Совместно с: LOPSTR
• PPDP 2011 (Дания, Оденсе)
  • 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
  • ! • DBLP • Сборник трудов
  • Совместно с: LOPSTR, WFLP, AAIP
• PPDP 2010 (Австрия, Хагенберг)
  • 12th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
  • ! • DBLP • Сборник трудов
  • Совместно с: LOPSTR
• PPDP 2009 (Португалия, Коимбра)
  • 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
  • ! • DBLP • Сборник трудов
  • Совместно с: CSL, LOPSTR
• PPDP 2008 (Испания, Валенсия)
  • 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
  • ! • DBLP • Сборник трудов
  • Совместно с: SAS, LOPSTR, PLID
• PPDP 2007 (Польша, Вроцлав)
  • 9th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
  • ! • DBLP • Сборник трудов
  • Совместно с: LICS, ICALP, LC
• PPDP 2006 (Италия, Венеция)
  • Eighth ACM-SIGPLAN International Symposium on Principles and Practice of Declarative Programming
  • ! • DBLP • Сборник трудов
  • Совместно с: ICALP, LOPSTR
• PPDP 2005 (Португалия, Лиссабон)
  • Principles and Practice of Declarative Programming
  • ! • DBLP • Сборник трудов
  • Совместно с: ICALP
• PPDP 2004 (Италия, Верона)
  • 6th ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming
  • ! • DBLP • Сборник трудов
  • Совместно с: PEPM, LOPSTR, SAS
• PPDP 2003 (Швеция, Уппсала)
  • Fifth ACM-SIGPLAN International Conference on Principles and Practice of Declarative Programming
  • ! • DBLP • Сборник трудов
  • Как часть: PLI
  • Совместно с: ICFP
• PPDP 2002 (США, Питтсбург)
  • The 4th International Conference on Principles and Practice of Declarative Programming
  • ! • DBLP • Сборник трудов
  • Совместно с: ICFP, GPCE
• PPDP 2001 (Италия, Флоренция)
  • The colloquium on Principles, Logics, and Implementations of high-level programming languages
  • ! • DBLP • Сборник трудов
  • Как часть: PLI
  • Совместно с: ICFP, ERLANG, HASKELL, SCHEME, RULE, VCL, SAIG, QAPL, BABEL, FICS
• PPDP 2000 (Канада, Монреаль)
  • 2nd International Conference on Principles and Practice of Declarative Programming
  • ! • DBLP
  • Как часть: PLI
• PPDP 1999 (Франция, Париж)
  • International Conference on Principles and Practice of Declarative Programming
  • ! • DBLP • Сборник трудов
  • Как часть: PLI

Ссылки

• PPDP — официальный сайт серии
• PPDP на DBLP
• PPDP на Academic