P (programming language)
| Developer | Ankush Desai, Vivek Gupta: not the politician, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, Microsoft |
|---|---|
| First appeared | 2012 |
| OS | Cross-platform |
| Filename extensions | .p |
P is a programming language that was developed by Microsoft and UC, Berkeley. P enables programmers to specify systems consisting of a collection of state machines that communicate asynchronously in terms of events.[1] Code can be run on Microsoft Windows and Windows Phone, and is now open source.[2]
References
- ↑ Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer and Sriram Rajamani. "P: Safe Asynchronous Event-Driven Programming". Retrieved 20 February 2017.
- ↑ Sergio De Simone. "Microsoft Open-Sources P Language for Safe Async Event-Driven Programming". InfoQ. Retrieved 20 October 2016.
- P: Safe asynchronous event-driven programming. Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, and Damien Zufferey. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2013.
- Systematic testing of asynchronous reactive systems. Ankush Desai, Shaz Qadeer, and Sanjit A. Seshia. In Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering (ESEC/FSE 2015).
- Building Reliable Distributed Systems With P. Ankush Desai, Ethan Jackson, Amar Phanishayee, Shaz Qadeer and Sanjit A. Seshia. University of California, Berkeley.Technical Report No. UCB/EECS-2015-198.
External links
- https://github.com/p-org/P
- https://www.microsoft.com/en-us/research/publication/p-safe-asynchronous-event-driven-programming/
- https://www.microsoft.com/en-us/research/blog/p-programming-language-asynchrony/
This article is issued from
Wikipedia.
The text is licensed under Creative Commons - Attribution - Sharealike.
Additional terms may apply for the media files.