Abstract
We describe the design and implementation of P, an asynchronous event-driven programming language. P allows the programmer to specify the system as a collection of interacting state machines, which communicate with each other using events. P unifies modeling and programming into one activity for the programmer. Not only can a P program be compiled into executable code, but it can also be validated using systematic testing. P was first used to implement and validate the USB device driver stack that ships with Microsoft Windows 8 and Windows Phone. P is now also being used for the design and implementation of robotics and distributed systems inside Microsoft and in academia.
Cite
CITATION STYLE
Desai, A., & Qadeer, S. (2017). P: Modular and safe asynchronous programming. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 10548 LNCS, pp. 3–7). Springer Verlag. https://doi.org/10.1007/978-3-319-67531-2_1
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
