research
∙
09/08/2023
Historia: Refuting Callback Reachability with Message-History Logics (Extended Version)
This paper determines if a callback can be called by an event-driven fra...
research
∙
06/12/2019
Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version)
Developing interactive applications (apps) against event-driven software...
research
∙
06/12/2019