P: safe asynchronous event-driven programming.

Ankush Desai Vivek Gupta Ethan K. Jackson Shaz Qadeer Sriram K. Rajamani Damien Zufferey

Published in: PLDI (2013)

Keyphrases

event driven
asynchronous communication
real time
publish subscribe
information delivery
object oriented programming
programming language
programming environment
event streams
programming course
domain knowledge
data management
online discussion
development environment
computer programming
discussion forums