Jump to content

P (programming language)

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Ethanbas (talk | contribs) at 05:47, 12 February 2017 (I copied over from the draft). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

P is a programming language developed by Microsoft. It is asynchronous and event-driven. P program is defined by finite state machine and can be run on Microsoft Windows and Windows Phone.[1]

References

  1. ^ Sergio De Simone. "Microsoft Open-Sources P Language for Safe Async Event-Driven Programming". InfoQ. Retrieved 20 October 2016.
  • https://github.com/p-org/P
  • 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.
Retrieved from "https://en.wikipedia.org/w/index.php?title=P_(programming_language)&oldid=765017605"