P es un lenguaje de programación para programación asincrónica basada en eventos y para IoT que fue desarrollado por Microsoft y la Universidad de California, Berkeley . [1]
P permite a los programadores especificar sistemas que consisten en una colección de máquinas de estados que se comunican de forma asincrónica en términos de eventos. [2] Los programas P pueden ejecutarse y analizarse en cualquier plataforma compatible con .NET . Además, los programas P pueden generar código C# y C.
P es de código abierto , tiene licencia MIT y está disponible en GitHub . [3]
Véase también
Referencias
- ^ Microsoft publica código abierto del lenguaje P para IoT
- ^ AnkushDesai; Vivek Gupta; Ethan Jackson; Shaz Qadeer; Sriram Rajamani. "P: Programación asincrónica segura basada en eventos". Microsoft . Consultado el 20 de febrero de 2017 .
- ^ Sergio De Simone. "Microsoft lanza al mercado el lenguaje P para una programación segura, asincrónica y basada en eventos". InfoQ . Consultado el 20 de octubre de 2016 .
Lectura adicional
- P: Programación asincrónica segura basada en eventos. Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani y Damien Zufferey. En Actas de la Conferencia ACM SIGPLAN sobre diseño e implementación de lenguajes de programación (PLDI), 2013.
- Pruebas sistemáticas de sistemas reactivos asincrónicos. Ankush Desai, Shaz Qadeer y Sanjit A. Seshia. En Actas de la 10.ª Reunión conjunta sobre fundamentos de la ingeniería de software (ESEC/FSE 2015).
- Construcción de sistemas distribuidos confiables con P. Ankush Desai, Ethan Jackson, Amar Phanishayee, Shaz Qadeer y Sanjit A. Seshia. Universidad de California, Berkeley . Informe técnico n.º UCB/EECS-2015-198.
Enlaces externos
- Sitio web oficial
- Código fuente en GitHub
- P: Programación segura asincrónica basada en eventos
- P: Un lenguaje de programación diseñado para la asincronía, la tolerancia a fallas y la incertidumbre.
.svg/1280px-Free_and_open-source_software_logo_(2009).svg.png){kind=logo}