P (programming language): Difference between revisions

Revision as of 10:44, 28 September 2018

Revision as of 23:38, 10 October 2018

Line 1:

{{Infobox programming language

| name = P

| logo = =

| logo size = =

| logo alt = =

| logo caption = =

| paradigm = =

| designer = =

| developer = Ankush =Desai, 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 = =

}}

'''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>

== References ==