Конкурс POPLmark

От / / Оставьте комментарий

Оглавление1 Вызов Поплмарку1.1 Обзор POPLmark challenge1.2 Структура и содержание POPLmark challenge1.3 Инструменты и решения1.4 Дополнительная информация2 Конкурс POPLmark — Википедия […]

Automated theorem proving, Benchmarks (computing), Formal methods, Programming language theory, Автоматическое доказательство теорем, Бенчмарки (вычисления), Теория языков программирования, Формальные методы

Вызов Поплмарку

  • Обзор POPLmark challenge

    • POPLmark challenge – это набор тестов для оценки автоматизированного мышления в области языков программирования. 
    • Цель – измерение способности доказывать соответствие программ спецификации. 
    • Конкурс был инициирован членами клуба PL при Пенсильванском университете и другими исследователями. 

  • Структура и содержание POPLmark challenge

    • Часть 1 касается типов системы F<: и включает задачи по проверке свойств подтипов и безопасности ввода. 
    • Часть 2 посвящена синтаксису и семантике System F<:, включая безопасность ввода и соответствие шаблону. 
    • Часть 3 касается удобства формализации системы F<:, включая моделирование и анимацию операционной семантики. 

  • Инструменты и решения

    • Для решения задач использовались различные инструменты, включая Isabelle/HOL, Twelf, Coq и другие. 

  • Дополнительная информация

    • В статье также упоминаются другие связанные работы и ресурсы, такие как проблема с выражением и конференция POPL. 

Полный текст статьи:

Конкурс POPLmark — Википедия

Похожие статьи:

  1. Раздел 17 Кодекса законов США Оглавление1 Статья 17 Кодекса Соединенных Штатов1.1 Общие положения1.2 Конгресс1.3 Президент1.4 Флаг и печать, резиденция правительства и...
  2. Международный конкурс космических приложений НАСА Оглавление1 Международный конкурс космических приложений NASA1.1 Международный конкурс космических приложений NASA1.2 История и развитие1.3 Цели и...
  3. Конкурсы и призы по искусственному интеллекту Оглавление1 Конкурсы и призы в области искусственного интеллекта1.1 История и развитие ИИ1.2 Современные конкурсы и награды1.3...
  4. Вишванатан Ананд – Arc.Ask3.Ru Оглавление1 Вишванатан Ананд1.1 Ранние годы и образование1.2 Ранние успехи1.3 Карьера в ФИДЕ1.4 Личная жизнь1.5 Другие достижения1.6...
  5. Стратегия оценки Оглавление1 Стратегия оценки1.1 Стратегии оценки в программировании1.2 Вызов по значению1.3 Вызов по ссылке1.4 Вызов по объединению1.5...
  6. Зеленый вызов связи Оглавление1 Вызов зеленой связи1.1 Обзор Green Comm Challenge1.2 Проблемы и вызовы1.3 Текущие инициативы1.4 Рекомендации1.5 Влияние на...
  7. Конкурс песни Евровидение Конкурс песни “Евровидение” Конкурс песни “Евровидение” – международный песенный конкурс, организованный Европейским вещательным союзом.  Конкурс проводится...
  8. Конкурс плохой поэзии в память о Джойс Килмер Оглавление1 Конкурс плохой поэзии памяти Джойс Килмер1.1 История и формат конкурса1.2 Программа и традиции1.3 Наследие и...
  9. Отбор участников Международной математической олимпиады – Arc.Ask3.Ru Оглавление1 Процесс отбора на международную математическую олимпиаду1.1 Процесс отбора в IMO по странам1.2 Аргентина1.3 Австралия1.4 Бангладеш1.5...
  10. Конкурс машин Руба Голдберга Оглавление1 Конкурс машин Руба Голдберга1.1 История конкурса Руба Голдберга1.2 Национальный конкурс1.3 Конкурсы 2000-х и 2010-х годов1.4...
  11. Американский солнечный вызов Оглавление1 Американский солнечный вызов1.1 История и развитие American Solar Challenge1.2 Результаты и победители1.3 Сотрудничество и влияние1.4...
  12. Великие испытания Оглавление1 Грандиозные задачи1.1 Определение грандиозных задач1.2 Примеры грандиозных задач1.3 История и развитие грандиозных задач1.4 Финансирование и...
  13. Устройство ввода Оглавление1 Устройство ввода1.1 Определение и классификация устройств ввода1.2 Классификация устройств ввода1.3 Клавиатура1.4 Указывающие устройства1.5 Датчики1.6 Устройства...
  14. Международный конкурс пианистов имени Шопена Оглавление1 Международный конкурс пианистов имени Шопена1.1 История и организация конкурса1.2 Финансовые и организационные трудности1.3 Скандалы и...
  15. Математический кенгуру Оглавление1 Математический кенгуру1.1 История конкурса “Кенгуру”1.2 Развитие и распространение1.3 Ассоциация “Кенгуру без границ”1.4 Формат и организация1.5...
  16. Ввод-вывод, отображаемый в памяти, и ввод-вывод, отображаемый на портах Оглавление1 Ввод-вывод с привязкой к памяти и ввод-вывод с привязкой к порту1.1 Обзор ввода-вывода1.2 Преимущества ввода-вывода...
  17. Использование инструментов нелюдьми – Arc.Ask3.Ru Оглавление1 Использование инструментов нелюдями1.1 Использование орудий труда нечеловеческими существами1.2 Определение и терминология1.3 Примеры использования орудий труда1.4...
  18. Компьютер Оглавление1 Компьютер1.1 История компьютеров1.2 Современные компьютеры1.3 Этимология слова “компьютер”1.4 Ранние механические устройства1.5 Механические аналоговые компьютеры1.6 Первый...
  19. Псевдо-Аристотель Оглавление1 Псевдо-Аристотель1.1 Основные темы и концепции псевдо-Аристотеля1.2 История псевдо-Аристотеля1.3 Известные работы псевдо-Аристотеля1.4 Источники и рекомендации1.5 Внешние...
  20. Adobe Photoshop Оглавление1 Программа Adobe Photoshop1.1 История и развитие Photoshop1.2 Версии Photoshop1.3 Версии Photoshop для Macintosh1.4 Версии Photoshop...
  21. Список китайских музыкальных инструментов Оглавление1 Список китайских музыкальных инструментов1.1 Классификация китайских музыкальных инструментов1.2 Инструменты из шелка1.3 Инструменты из бамбука1.4 Инструменты...
  22. Японский метод ввода Оглавление1 Японский метод ввода1.1 Ввод данных на японском языке1.2 Методы ввода1.3 Системы обучения и прогнозирования1.4 Рекомендации1.5...

Оставьте комментарий

Прокрутить вверх