Jump to content

P (programming language)

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by SeanBob123 (talk | contribs) at 17:53, 6 April 2023 (Previous version mentioned P could only run on Windows, but this is inaccurate. This is clear if you consult the official website. Also updated the official website URL, which is distinct from the GitHub repository.). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
P
DeveloperAnkush Desai, Vivek Gupta: not the politician, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, Microsoft
First appeared2012; 13 years ago (2012)
OSCross-platform
LicenseMIT License
Filename extensions.p
Websitep-org.github.io/P/

P is a programming language for asynchronous event-driven programming and the IoT that was developed by Microsoft and University of California, Berkeley.[1]

P enables programmers to specify systems consisting of a collection of state machines that communicate asynchronously in terms of events.[2] P programs can run and be analyzed on any platform supported by .NET. Additionally, P programs can generate C# and C code.

P is open source, licensed under MIT License, and available on GitHub.[3]

See also

References

  1. ^ Microsoft open-sources P language for IoT
  2. ^ "P: Safe Asynchronous Event-Driven Programming". Microsoft. Retrieved 20 February 2017. {{cite web}}: Unknown parameter |authors= ignored (help)
  3. ^ Sergio De Simone. "Microsoft Open-Sources P Language for Safe Async Event-Driven Programming". InfoQ. Retrieved 20 October 2016.

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.
Stub icon

This programming-language-related article is a stub. You can help Wikipedia by expanding it.

Retrieved from "https://en.wikipedia.org/w/index.php?title=P_(programming_language)&oldid=1148522324"