Lifestate: Event-Driven Protocols and Callback Control Flow.
Shawn MeierSergio MoverBor-Yuh Evan ChangPublished in: ECOOP (2019)
Keyphrases
- event driven
- control flow
- data flow
- process model
- software testing
- publish subscribe
- transition systems
- workflow management systems
- real time
- information delivery
- markup language
- event streams
- formal semantics
- high level
- modeling language
- first order logic
- data management
- communication protocol
- relational databases
- memory hierarchy
- real world
- data sets