P es un lenguaje de programación para la programación asincrónica impulsada por eventos y el IoT que fue desarrollado por Microsoft y la Universidad de California, Berkeley . [1]
Desarrollador | Ankush Desai, Vivek Gupta: no el político, Ethan Jackson , Shaz Qadeer , Sriram Rajamani , Microsoft |
---|---|
Apareció por primera vez | 2012 |
SO | Multiplataforma |
Licencia | Licencia MIT |
Extensiones de nombre de archivo | .pag |
Sitio web | github |
P permite a los programadores especificar sistemas que consisten en una colección de máquinas de estado que se comunican de forma asincrónica en términos de eventos. [2] El código se puede ejecutar en Microsoft Windows y Windows Phone , y ahora es de código abierto con licencia MIT y está disponible en GitHub . [3]
Ver también
Referencias
- ^ Lenguaje P de código abierto de Microsoft para IoT
- ^ Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer y Sriram Rajamani. "P: Programación basada en eventos asincrónica segura" . Consultado el 20 de febrero de 2017 .Mantenimiento de CS1: utiliza el parámetro de autores ( enlace )
- ^ Sergio De Simone. "Lenguaje P de fuentes abiertas de Microsoft para la programación basada en eventos asincrónica segura" . InfoQ . Consultado el 20 de octubre de 2016 .
Otras lecturas
- P: Programación segura basada en eventos asíncrona. 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.
- Ensayos sistemáticos de sistemas reactivos asíncronos. Ankush Desai, Shaz Qadeer y Sanjit A. Seshia. En las actas de la décima reunión conjunta de 2015 sobre los fundamentos de la ingeniería de software (ESEC / FSE 2015).
- Construyendo sistemas distribuidos confiables con P. Ankush Desai, Ethan Jackson, Amar Phanishayee, Shaz Qadeer y Sanjit A. Seshia. Universidad de California, Berkeley . Informe técnico No. UCB / EECS-2015-198.