Content deleted Content added
Ankushdesai (talk | contribs) No edit summary |
No edit summary |
||
Line 9:
| developer = Ankush Desai, Vivek Gupta: not the politician, [[Ethan Jackson]], [[Shaz Qadeer]], [[Sriram Rajamani]], [[Microsoft]]
| latest release version =
| latest release date = {{
| typing =
| implementations =
Line 15:
| influenced =
| operating system = [[Cross-platform]]
| year = {{
| turing-complete = Yes
| influenced_by =
| file ext = .p
| license = [[MIT License]]
| website = {{URL|https://github.com/p-org/P}}
}}
'''P''' is a [[programming language]] that was developed by [[Microsoft]] and
P enables programmers to specify systems consisting of a collection of [[finite state machine|state machines]] that communicate asynchronously in terms of events.<ref>{{cite web |url=https://www.microsoft.com/en-us/research/publication/p-safe-asynchronous-event-driven-programming/ |title=P: Safe Asynchronous Event-Driven Programming |authors=Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer and Sriram Rajamani |accessdate=20 February 2017}}</ref> Code can be run on [[Microsoft Windows]] and [[Windows Phone]], and is now [[open-source model|open source]] licensed under [[MIT License]] and available on [[GitHub]].<ref>{{cite web|last1=Sergio De Simone|title=Microsoft Open-Sources P Language for Safe Async Event-Driven Programming|url=https://www.infoq.com/news/2016/10/microsoft-p-language-opensourced|website=InfoQ|accessdate=20 October 2016}}</ref>▼
▲'''P''' is a [[programming language]] that was developed by [[Microsoft]] and UC, Berkeley.
▲P enables programmers to specify systems consisting of a collection of [[finite state machine|state machines]] that communicate asynchronously in terms of events.<ref>{{cite web |url=https://www.microsoft.com/en-us/research/publication/p-safe-asynchronous-event-driven-programming/ |title=P: Safe Asynchronous Event-Driven Programming |authors=Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer and Sriram Rajamani |accessdate=20 February 2017}}</ref> Code can be run on [[Microsoft Windows]] and [[Windows Phone]], and is now [[open-source model|open source]].<ref>{{cite web|last1=Sergio De Simone|title=Microsoft Open-Sources P Language for Safe Async Event-Driven Programming|url=https://www.infoq.com/news/2016/10/microsoft-p-language-opensourced|website=InfoQ|accessdate=20 October 2016}}</ref>
== See also ==
{{Portal|Free and open-source software}}
* [[Microsoft Research]]
== References ==
{{
== Further reading ==
* 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 ==
* {{Official website|https://github.com/p-org/P}}
* [https://www.microsoft.com/en-us/research/publication/p-safe-asynchronous-event-driven-programming/ P: Safe Asynchronous Event-Driven Programming]
* [https://www.microsoft.com/en-us/research/blog/p-programming-language-asynchrony/ P: A programming language designed for asynchrony, fault-tolerance and uncertainty]
{{Microsoft FOSS}}
[[Category:Programming languages]]▼
▲[[Category:Free software]]
[[Category:Free and open-source software]]
[[Category:Microsoft free software]]
▲[[Category:Programming languages created in 2012]]
[[Category:Software using the MIT license]]
[[Category:Systems programming languages]]
[[Category:2012 software]]
{{Prog-lang-stub}}
| |||