This is an old revision of this page, as edited by SewerCat(talk | contribs) at 18:41, 20 February 2017(link to 'Micosoft' 'fsm' article by Gupta, et al). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.Revision as of 18:41, 20 February 2017 by SewerCat(talk | contribs)(link to 'Micosoft' 'fsm' article by Gupta, et al)
P is a programming language developed by Microsoft.
P enables programmers to specify systems consisting of a collection of state machines that communicate asynchronously in terms of events.[1]
Code can be run on Microsoft Windows and Windows Phone.[2]
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.
This article has not been added to any content categories. Please help out by adding categories to it so that it can be listed with similar articles. (February 2017)
