P (язык программирования)
![]() | |
Разработчик | Анкуш Десаи, Вивек Гупта: не политик, Итан Джексон , Шаз Кадир , Шрирам Раджамани , Microsoft |
---|---|
Впервые появился | 2012 год |
ТЫ | Кросс-платформенный |
Лицензия | МОЯ лицензия |
Расширения имен файлов | .п |
Веб-сайт | p-орг |
P — это язык программирования для асинхронного , управляемого событиями программирования и Интернета вещей , разработанный Microsoft и Калифорнийским университетом в Беркли . [1]
P позволяет программистам определять системы, состоящие из набора конечных автоматов , которые взаимодействуют асинхронно в терминах событий. [2] Программы P можно запускать и анализировать на любой платформе, поддерживаемой .NET . Кроме того, программы P могут генерировать код C# и C.
P имеет открытый исходный код , распространяется под лицензией MIT License и доступен на GitHub . [3]
См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Язык P с открытым исходным кодом Microsoft для IoT
- ^ Анкуш Десаи; Вивек Гупта; Итан Джексон; Шаз Кадир; Шрирам Раджамани. «P: Безопасное асинхронное программирование, управляемое событиями» . Майкрософт . Проверено 20 февраля 2017 г.
- ^ Серджио Де Симоне. «Язык P с открытым исходным кодом Microsoft для безопасного асинхронного программирования, управляемого событиями» . ИнфоQ . Проверено 20 октября 2016 г.
Дальнейшее чтение
[ редактировать ]- P: Безопасное асинхронное программирование, управляемое событиями. Анкуш Десаи, Вивек Гупта, Итан Джексон, Шаз Кадир, Шрирам Раджамани и Дэмиен Зуфери. В материалах ACM SIGPLAN конференции по разработке и реализации языков программирования (PLDI), 2013.
- Систематические испытания асинхронных реактивных систем. Анкуш Десаи, Шаз Кадир и Санджит А. Сешиа. В материалах 10-го совместного совещания по основам программной инженерии 2015 г. (ESEC/FSE 2015).
- Создание надежных распределенных систем с П. Анкушем Десаи, Итаном Джексоном, Амаром Фанишайи, Шазом Кадиром и Санджитом А. Сешиа. Калифорнийский университет в Беркли . Технический отчет № UCB/EECS-2015-198.
Внешние ссылки
[ редактировать ]- Официальный сайт
- Исходный код на GitHub
- P: Безопасное асинхронное программирование, управляемое событиями.
- P: Язык программирования, разработанный с учетом асинхронности, отказоустойчивости и неопределенности.
Категории :
- Бесплатное программное обеспечение с открытым исходным кодом
- бесплатное программное обеспечение Майкрософт
- Языки программирования Майкрософт
- Языки программирования, созданные в 2012 году.
- Программное обеспечение, использующее лицензию MIT
- Языки системного программирования
- программное обеспечение 2012 года
- Незавершенные темы по языку программирования