P (programming language)

Print Print
Reading time 3:14
P
DeveloperAnkush Desai, Vivek Gupta: not the politician, Ethan Jackson, Shaz Qadeer, Sriram Rajamani, Microsoft
First appeared2012; 9 years ago (2012)
OSCross-platform
LicenseMIT License
Filename extensions.p
Websitegithub.com/p-org/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] Code can be run on Microsoft Windows and Windows Phone, and is now open source licensed under MIT License and available on GitHub.[3]

See also

References

  1. ^ Microsoft open-sources P language for IoT
  2. ^ Ankush Desai, Vivek Gupta, Ethan Jackson, Shaz Qadeer and Sriram Rajamani. "P: Safe Asynchronous Event-Driven Programming". Retrieved 20 February 2017.CS1 maint: uses authors parameter (link)
  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.

External links

Stub icon

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

By: Wikipedia.org
Edited: 2021-06-18 18:16:00
Source: Wikipedia.org

© 2024 CodeDocs.org
 Privacy Policy • Contact Us • Terms of Use