Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version)

Shawn Meier, Sergio Mover, Bor-Yuh Evan Chang

Developing interactive applications (apps) against event-driven software frameworks such as Android is notoriously difficult. To create apps that behave as expected, developers mus…