P (programming language): Difference between revisions

Revision as of 17:20, 28 August 2022

Revision as of 17:53, 6 April 2023

Line 20:

| file ext = .p

| license = [[MIT License]]

| website = {{URL|https://github.com/p-org.github.io/P/}}

}}

'''P''' is a [[programming language]] for asynchronous [[event-driven programming]] and the [[Internet of things|IoT]] that was developed by [[Microsoft]] and [[University of California, Berkeley]].<ref>[https://www.infoworld.com/article/3130998/microsoft-open-sources-p-language-for-iot.html Microsoft open-sources P language for IoT]</ref>

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 |website=[[Microsoft]] |access-date=20 February 2017}}</ref> P Codeprograms can run and be runanalyzed on [[Microsoftany Windows]]platform andsupported by [[Windows Phone.NET]]. Additionally, P programs can generate C# and isC nowcode.

P is [[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|access-date=20 October 2016}}</ref>

== See also ==

Line 40 ⟶ 42:

== External links ==

* {{Official website|https://github.com/p-org.github.io/P/}}

* {{Source code on GitHub|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]