P: a domain-specific language for asynchronous event-driven programming (invited talk abstract)

Shaz Qadeer. P: a domain-specific language for asynchronous event-driven programming (invited talk abstract). In Guoqing (Harry) Xu, Tao Xie, Shan Lu, Dongmei Zhang, Santosh Nagarakatte, Christoph Csallner, editors, Proceedings of the 2014 Joint International Workshop on Dynamic Analysis (WODA) and Software and System Performance Testing, Debugging, and Analytics (PERTEA), WODA+PERTEA 2014, San Jose, CA, USA, July 22, 2014. pages 8, ACM, 2014. [doi]

Abstract

Abstract is missing.