Content deleted Content added
marking article as stub |
Copyedit. |
||
Line 1:
{{Infobox programming language
| name = P
| logo =
| logo size =
| logo alt =
| logo caption =
| paradigm =
| designer =
| developer = Vivek Gupta: not the politician, [[Ethan Jackson]], [[Shaz Qadeer]], [[Sriram Rajamani]], [[Microsoft]]
| latest release version =
| latest release date = {{start date and age|2012|11}}
| typing =
| implementations =
| dialects =
| influenced =
| operating system = [[Cross-platform]]
| year = {{start date and age|2012}}
| turing-complete = Yes
| influenced_by =
| file ext = .p
| wikibooks =
}}
{{prog-lang-stub}}▼
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=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>▼
▲'''P''' is a [[programming language]] that was developed by [[Microsoft]].
▲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=Vivek Gupta, Ethan Jackson, Shaz Qadeer and Sriram Rajamani |accessdate=20 February 2017}}</ref>
== References ==
{{reflist}}
* 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 ==
Line 44 ⟶ 41:
[[Category:2012 software]]
[[Category:Programming languages created in 2012]]
| |||