Из Википедии, бесплатной энциклопедии
Перейти к навигации Перейти к поиску
п
РазработчикАнкуш Десаи, Вивек Гупта: не политик, Итан Джексон , Шаз Кадир , Шрирам Раджамани , Microsoft
Впервые появился2012 ; 9 лет назад ( 2012 )
Операционные системыКроссплатформенность
ЛицензияЛицензия MIT
Расширения имени файла.п
Интернет сайтgithub .com / p-org / P

P - это язык программирования для асинхронного программирования, управляемого событиями, и Интернета вещей , разработанный Microsoft и Калифорнийским университетом в Беркли . [1]

P позволяет программистам определять системы, состоящие из набора конечных автоматов, которые обмениваются данными асинхронно в терминах событий. [2] Код можно запускать в Microsoft Windows и Windows Phone , и теперь его исходный код открыт под лицензией MIT и доступен на GitHub . [3]

См. Также [ править ]

Ссылки [ править ]

  1. ^ Язык P с открытым исходным кодом Microsoft для Интернета вещей
  2. ^ Ankush Десаи, Вивек Гупта, Этан Джексон, Shaz Кадир и Sriram Rajamani. «P: Безопасное асинхронное программирование, управляемое событиями» . Проверено 20 февраля 2017 года .CS1 maint: uses authors parameter (link)
  3. ^ Серхио де Симоне. "Microsoft Open-Sources P Language для безопасного асинхронного программирования, управляемого событиями" . InfoQ . Проверено 20 октября 2016 года .

Дальнейшее чтение [ править ]

  • P: Безопасное асинхронное программирование, управляемое событиями. Анкуш Десаи, Вивек Гупта, Итан Джексон, Шаз Кадир, Шрирам Раджамани и Дэмиен Зуффери. В материалах конференции ACM SIGPLAN по проектированию и реализации языков программирования (PLDI), 2013.
  • Систематическое тестирование асинхронных реактивных систем. Анкуш Десаи, Шаз Кадир и Санджит А. Сешия. В материалах 10-го совместного совещания по основам программной инженерии 2015 г. (ESEC / FSE 2015).
  • Построение надежных распределенных систем с П. Анкушем Десаи, Итаном Джексоном, Амаром Фанишайи, Шазом Кадиром и Санджитом А. Сешиа. Калифорнийский университет в Беркли . Технический отчет № UCB / EECS-2015-198.

Внешние ссылки [ править ]

  • Официальный веб-сайт
  • P: Безопасное асинхронное программирование, управляемое событиями
  • P: язык программирования, разработанный для асинхронности, отказоустойчивости и неопределенности.
  • v
  • t
  • e