P: Modular and Safe Asynchronous Programming
RUNTIME VERIFICATION (RV 2017)(2017)
摘要
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.
更多查看译文
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络